Updated mediawiki/extensions
Project: mediawiki/extensions/FilterListUsers  4ba6b692db53987fc8b8e569fa9adaa1964d6c39

Update i18n shim

A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.

Change-Id: Id7497e777391eb90b5c5cb551a0481e850ebe610