Rename 'extraTabs' to 'widgetExtensions' in semantics

2019-01-09 10:13:14 +01:00 · 2019-01-09 10:13:14 +01:00 · 7872731e34
parent e0d639c406
commit 7872731e34
1 changed files with 2 additions and 2 deletions
--- a/semantics.json
+++ b/semantics.json
@ -40,7 +40,7 @@
          "label": "Audio Track",
          "description": "An optional sound that plays when the card is turned.",
          "optional": true,
-          "extraTabs": ["AudioRecorder"]
+          "widgetExtensions": ["AudioRecorder"]
        },
        {
          "name": "match",
@ -66,7 +66,7 @@
          "label": "Matching Audio Track",
          "description": "An optional sound that plays when the second card is turned.",
          "optional": true,
-          "extraTabs": ["AudioRecorder"]
+          "widgetExtensions": ["AudioRecorder"]
        },
        {
          "name": "description",