Merge pull request #1333 from ericrosenbaum/bugfix/fix-microbit-extension-name

Change extension name to micro:bit

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';
     }
 
     /**