Updated mediawiki/extensions
Project: mediawiki/extensions/Insider  282a07de734994c8b1988c730fb9050171dca5fc

Update i18n shim

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

Change-Id: I77a37b4c3050689bca904165e791ee10ee43cc99
Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  e388a3da529ae8e6beb0ff01efa084e5f028ad74

Update i18n shim

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

Change-Id: I53e9eeacfc9a88f930467517151dbd7950493b50
Updated mediawiki/extensions
Project: mediawiki/extensions/InlineCategorizer  893f33495ff79cf8336aa9588617f6410ed7d4ba

Update i18n shim

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

Change-Id: Idde2909cb5e13779ac0ea752070eeb2300624799
Updated mediawiki/extensions
Project: mediawiki/extensions/IndexFunction  3024613708d909c2af2cda0ac9602e89b93d9b28

Update i18n shim

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

Change-Id: I88cf311d6df1aa2b53e87013fa1ea9d164636e7a
Updated mediawiki/extensions
Project: mediawiki/extensions/ImageMap  3c214b1af88b46089cf02487b8651afcf96b0007

Update i18n shim

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

Change-Id: I0ba0fac75cf48f457f5b2281fdcc56521e3c54bd
Updated mediawiki/extensions
Project: mediawiki/extensions/I18nTags  e970457aa62b32c213338d35307c9824bb508aab

Update i18n shim

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

Change-Id: Ia5568e9a25f6799df12b3713e4e60b614be68528
Updated mediawiki/extensions
Project: mediawiki/extensions/HTMLTags  0b0e304ad809071909531df3d8b43cec4780d947

Update i18n shim

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

Change-Id: Ibafaed98810aef54ba5da03d5be4d99c931b7217
Updated mediawiki/extensions
Project: mediawiki/extensions/HTMLets  296c8c066d9f5765b74d95f8abe8769e3b740c1b

Update i18n shim

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

Change-Id: I74e0f478b26da2ec2e635b6577f6d441290a0254