From eaeefdcfe7beb720bf07efe2d0e74bf2e1ac9c10 Mon Sep 17 00:00:00 2001
From: Eric Rosenbaum <eric.rosenbaum@gmail.com>
Date: Thu, 12 Jul 2018 15:26:32 -0400
Subject: [PATCH] Change extension name to micro:bit

---
 src/extensions/scratch3_microbit/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/extensions/scratch3_microbit/index.js b/src/extensions/scratch3_microbit/index.js
index 361f15454..f712f5f8c 100644
--- a/src/extensions/scratch3_microbit/index.js
+++ b/src/extensions/scratch3_microbit/index.js
@@ -282,7 +282,7 @@ class Scratch3MicroBitBlocks {
      * @return {string} - the name of this extension.
      */
     static get EXTENSION_NAME () {
-        return 'MicroBit';
+        return 'micro:bit';
     }
 
     /**