Change extension name to micro:bit

This commit is contained in:
Eric Rosenbaum 2018-07-12 15:26:32 -04:00
parent ea1bb602f9
commit eaeefdcfe7

View file

@ -282,7 +282,7 @@ class Scratch3MicroBitBlocks {
* @return {string} - the name of this extension.
*/
static get EXTENSION_NAME () {
return 'MicroBit';
return 'micro:bit';
}
/**