mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-15 03:43:46 +00:00
e44969eca0
Unless I'm mistaken this config variable has never been used in this codebase since introduction in I64e997d58e4a1b66a8a351d85a3e7df1a77354e9 It's not documented so not clear why it is needed and not referenced in this codebase. Change-Id: Ib227eefb77ba2719db277fa80a8bfb958ea6a778 |
||
---|---|---|
i18n | ||
includes | ||
maintenance | ||
tests/phpunit | ||
.gitignore | ||
.gitreview | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
PageImages.i18n.php | ||
PageImages.php |