Specs: define registerElement() a little differently, so that the code

sky/examples/radio.sky

Index: sky/examples/radio.sky
diff --git a/sky/examples/radio.sky b/sky/examples/radio.sky
index 6cafa7199c0a70a02ac8c81d71fe7fc5a7045056..b5b139bb73077df61b3563f2c53c36c89139f0b2 100644
--- a/sky/examples/radio.sky
+++ b/sky/examples/radio.sky
@@ -16,7 +16,7 @@ SKY MODULE - radio button and radio button group
  module.exports.RadioElement = module.registerElement({
    tagName: 'radio',
    shadow: true,
-   prototype: (class extends Element {
+   constructor: class extends Element {
      constructor (module) {
        super(module);
        this.addEventListener('click', (event) => this.checked = true);
@@ -42,7 +42,7 @@ SKY MODULE - radio button and radio button group
          if (this.parentNode instanceof module.exports.RadioGroupElement)
            this.parentNode.setChecked(this);
      }
-   }).prototype,
+   },
  });
 </script>
 
@@ -53,10 +53,10 @@ SKY MODULE - radio button and radio button group
  </style>
 </template>
 <script>
- module.exports.RadioGroupElement = module.registerElement({
+ module.exports.RadioGroupElement = module.registerElement{
    tagName: 'radiogroup',
    shadow: true,
-   prototype: (class extends Element {
+   constructor: (class extends Element {
      constructor (module) {
        super(module);
        this.shadowRoot.appendChild(module.document.findId('radiogroup-shadow').content.cloneNode(true));
@@ -85,6 +85,6 @@ SKY MODULE - radio button and radio button group
            if (child != radio)
              child.checked = false;
      }
-   }).prototype,
+   },
  });
 </script>