From a2449b7a87e3ccfd6144e5954e2647410b0a8e1f Mon Sep 17 00:00:00 2001
From: Eric Rosenbaum <eric.rosenbaum@gmail.com>
Date: Thu, 12 Jul 2018 15:31:01 -0400
Subject: [PATCH] Fix micro:bit extension name and description
---
src/lib/libraries/extensions/index.jsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/lib/libraries/extensions/index.jsx b/src/lib/libraries/extensions/index.jsx
index 62da95ea5..dfe141646 100644
--- a/src/lib/libraries/extensions/index.jsx
+++ b/src/lib/libraries/extensions/index.jsx
@@ -115,13 +115,13 @@ export default [
disabled: true
},
{
- name: 'Micro:bit',
+ name: 'micro:bit',
extensionId: 'microbit',
iconURL: microbitImage,
description: (
<FormattedMessage
- defaultMessage="Connect your projects with the physical world."
- description="Description for the 'Micro:bit' extension"
+ defaultMessage="Connect your projects with the world."
+ description="Description for the 'micro:bit' extension"
id="gui.extension.microbit.description"
/>
),
--
GitLab