microbit-web-components/dist/microbit/p-vj2rs48m.system.entry.js

Web Components library for micro:bit

System.register(["./p-79150c1d.system.js","./p-86f8a157.system.js"],function(e){"use strict";var t,n,i;return{setters:[function(e){t=e.r;n=e.g},function(e){i=e.m}],execute:function(){var r=function(){function e(e){t(this,e);this.deviceInformation=null;this.disconnectedText="Disconnected";this.noInfo="No serial number found";i.addListener(this)}e.prototype.render=function(){return this.deviceInformation?this.deviceInformation.serialNumber||this.noInfo:this.disconnectedText};Object.defineProperty(e.prototype,"el",{get:function(){return n(this)},enumerable:true,configurable:true});return e}();e("microbit_serial",r)}}});