Updated mediawiki/extensions
Project: mediawiki/extensions/FilterListUsers  d435d66f6059cd4598421d874e1ca88deb4b02de

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I7826785a4cad134e36d80dd6b8445105b8c93d9f