Updated mediawiki/extensions
Project: mediawiki/extensions/IndexFunction  caf837ba1894c2060a66672364e350db537bda3c

Update i18n shim

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

Change-Id: Iec44ec6d176fdd41e83583810cb6fc7e5adedd59
Updated mediawiki/extensions
Project: mediawiki/extensions/ImageMap  1f17b019f88f91012b8e1805dd6ee7d48c1bdee3

Update i18n shim

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

Change-Id: Ifac796331403026639248f79f1d9676502a6566d
Updated mediawiki/extensions
Project: mediawiki/extensions/I18nTags  19846735704700fb4996c3e76ee89e2725de480e

Update i18n shim

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

Change-Id: Iefd2a2c631dcf1402745b535f71f4a829e5f85fd
Updated mediawiki/extensions
Project: mediawiki/extensions/HTMLTags  e9ee178883620a7ae5adb8dde8e4fff7a943cb83

Update i18n shim

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

Change-Id: Ia467c7430623d6dad176bcffb1648aa113fbe2c2
Updated mediawiki/extensions
Project: mediawiki/extensions/HTMLets  495adf3c4f2ced57baad9fcb882e1633cd4c0040

Update i18n shim

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

Change-Id: I5b379d3e133059d512d39ec7922a4d004d6861cd
Updated mediawiki/extensions
Project: mediawiki/extensions/HSTS  4a14824388f02c5d5308645e150dd0978b65ea6f

Update i18n shim

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

Change-Id: I83f0f3e38deb2c37c390dde2efe9b64e3baa54c5
Updated mediawiki/extensions
Project: mediawiki/extensions/Hovergallery  0820c327c6c40b4cd09b902bc761372cd195cd24

Update i18n shim

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

Change-Id: Icfaf84b33afe43f1869b31297dc95006bcc4bf74
Updated mediawiki/extensions
Project: mediawiki/extensions/HostStats  27ae18f2dc73e7fe865cfad50aedd96413da86a0

Update i18n shim

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

Change-Id: If67042cc20b294a2e1b5c7cfa3f01eda8a2ca9cf