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

Merge "UseGalleries is unused"

Browse source
This commit is contained in:
jenkins-bot 2017-04-10 21:43:02 +00:00 committed by Gerrit Code Review
parent b360c0305c e44969eca0
commit 188f8d6020
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -88,9 +88,6 @@
"@doc": "Temporary feature flag - Whether page images should be restricted to those in section id 0.",
"@fixme": "Please remove a month after it has defaulted to true on the cluster (T152115)",
"value": false
},
"PageImagesUseGalleries": {
"value": false
}
},
"manifest_version": 2