Updated mediawiki/extensions
Project: mediawiki/extensions/FlvHandler  36dc843117cb3e5d15a0fcfbf0eee5147d8f2d56

Update i18n shim

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

Change-Id: I3a7669968c3b1f808ce3be2f890f557b0c3daf12
Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  5453f5de7ac739906c454c1940c3cc8ac9ade275

Update i18n shim

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

Change-Id: Ibc780e1d44d4f050525a0dce78994fdb44a41c26
Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  65b30eb86a66b9a292ead72c76b586e6d6d24bf7

Update i18n shim

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

Change-Id: I7d99c0482239f43e38c1016d17a02260e5f37654
Updated mediawiki/extensions
Project: mediawiki/extensions/FilterListUsers  9b81d4a07c5ec2519346ece3d9dba9819d04fccc

Update i18n shim

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

Change-Id: I00ac276d646fe4c7202e0618d330fe54d88cdb86