mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced 2024-11-15 10:37:36 +00:00
80f323fa8b
A performance issue was fixed in the shim(s) generated by generateJsonI18n.php, so it needed to be updated. Change-Id: Ic92c088fcc232573da638979d76a60f940647ad7 |
||
---|---|---|
i18n | ||
.gitignore | ||
.gitreview | ||
COPYING | ||
Interwiki.alias.php | ||
Interwiki.css | ||
Interwiki.i18n.php | ||
Interwiki.php | ||
Interwiki_body.php |