wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-09-23 10:22:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix field name in schema.json

Browse source 
Change-Id: I7a89afe2876a1530cceb4884c8fdce348f8d6620
This commit is contained in:
Siddharth VP 2023-07-08 21:13:26 +05:30
parent f5466fca49
commit 6d1ffbac15
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Content/schema.json
View file

@ -57,7 +57,7 @@
"type": "string",
"default": ""
},
"supportsdirectload": {
"supportsUrlLoad": {
"description": "Whether this gadget supports ?withgadget query parameter",
"type": "boolean",
"default": false