wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Set "TemplateSandboxEditNamespaces" in extension.json"

Browse source
This commit is contained in:
jenkins-bot 2017-07-06 02:55:55 +00:00 committed by Gerrit Code Review
parent 4981271d97 ab9ae6efe0
commit 67f4d71144
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -165,5 +165,8 @@
"ScribuntoGatherFunctionStats": false, "ScribuntoGatherFunctionStats": false,
"ScribuntoSlowFunctionThreshold": 0.9 "ScribuntoSlowFunctionThreshold": 0.9
}, },
"TemplateSandboxEditNamespaces": [
828
],
"manifest_version": 1 "manifest_version": 1
} }