@@ -76,6 +76,13 @@ export namespace Components {
7676 */
7777 'disconnectedClass' : string ;
7878 }
79+ interface MicrobitDfu {
80+ /**
81+ * The button label to initiate DFU mode
82+ */
83+ 'dfuLabel' : string ;
84+ 'services' : Services ;
85+ }
7986 interface MicrobitFirmware {
8087 'deviceInformation' : DeviceInformation ;
8188 /**
@@ -257,6 +264,12 @@ declare global {
257264 new ( ) : HTMLMicrobitConnectionElement ;
258265 } ;
259266
267+ interface HTMLMicrobitDfuElement extends Components . MicrobitDfu , HTMLStencilElement { }
268+ var HTMLMicrobitDfuElement : {
269+ prototype : HTMLMicrobitDfuElement ;
270+ new ( ) : HTMLMicrobitDfuElement ;
271+ } ;
272+
260273 interface HTMLMicrobitFirmwareElement extends Components . MicrobitFirmware , HTMLStencilElement { }
261274 var HTMLMicrobitFirmwareElement : {
262275 prototype : HTMLMicrobitFirmwareElement ;
@@ -335,6 +348,7 @@ declare global {
335348 'microbit-compass' : HTMLMicrobitCompassElement ;
336349 'microbit-connect' : HTMLMicrobitConnectElement ;
337350 'microbit-connection' : HTMLMicrobitConnectionElement ;
351+ 'microbit-dfu' : HTMLMicrobitDfuElement ;
338352 'microbit-firmware' : HTMLMicrobitFirmwareElement ;
339353 'microbit-hardware' : HTMLMicrobitHardwareElement ;
340354 'microbit-manufacturer' : HTMLMicrobitManufacturerElement ;
@@ -413,6 +427,13 @@ declare namespace LocalJSX {
413427 */
414428 'disconnectedClass' ?: string ;
415429 }
430+ interface MicrobitDfu extends JSXBase . HTMLAttributes < HTMLMicrobitDfuElement > {
431+ /**
432+ * The button label to initiate DFU mode
433+ */
434+ 'dfuLabel' ?: string ;
435+ 'services' ?: Services ;
436+ }
416437 interface MicrobitFirmware extends JSXBase . HTMLAttributes < HTMLMicrobitFirmwareElement > {
417438 'deviceInformation' ?: DeviceInformation ;
418439 /**
@@ -561,6 +582,7 @@ declare namespace LocalJSX {
561582 'microbit-compass' : MicrobitCompass ;
562583 'microbit-connect' : MicrobitConnect ;
563584 'microbit-connection' : MicrobitConnection ;
585+ 'microbit-dfu' : MicrobitDfu ;
564586 'microbit-firmware' : MicrobitFirmware ;
565587 'microbit-hardware' : MicrobitHardware ;
566588 'microbit-manufacturer' : MicrobitManufacturer ;
0 commit comments