wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Allow pages in gadget namespace to begin with a lowercase letter"

Browse source
This commit is contained in:
jenkins-bot 2022-08-27 17:45:22 +00:00 committed by Gerrit Code Review
parent 08cf009f36 03ae3a0ff1
commit 327f82e680
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -16,6 +16,7 @@
"id": 2300, "id": 2300,
"constant": "NS_GADGET", "constant": "NS_GADGET",
"name": "Gadget", "name": "Gadget",
"capitallinkoverride": false,
"protection": "gadgets-edit" "protection": "gadgets-edit"
}, },
{ {