Updated mediawiki/extensions
Project: mediawiki/extensions/Gitweb  71b23378aa086499630c73b2115c7cd197bb8ee9

Update i18n shim

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

Change-Id: Idd1600fbde25e21ae6e69f083b4a0a2d4669f132
Updated mediawiki/extensions
Project: mediawiki/extensions/Git2Pages  a8d239254addb601e5140bd3ae214d0248e0559f

Update i18n shim

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

Change-Id: Ib59319fe9a2fc272b45a2d2b94c87aae4cd69c91
Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  983d885d15716b95a9fa2fddd5af84e07a39f476

Update i18n shim

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

Change-Id: I78cbf5a3e8a8c1f08e2eac7a2f5ae36de271811f
Updated mediawiki/extensions
Project: mediawiki/extensions/GeoGebra  669bf6db7a466c2c044ffe9851b414e2ea93f8bf

Update i18n shim

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

Change-Id: I4c84e01e0cfc44d28fac5aec32e75d61d516d72c
Updated mediawiki/extensions
Project: mediawiki/extensions/GeoData  7764166fac5d5ae4cb51a848eab442b5945be5e7

Update i18n shim

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

Change-Id: Id5fe331582e915ff5f6a6914593b499e82f8b584
Updated mediawiki/extensions
Project: mediawiki/extensions/GeoCrumbs  5c231f277acdacc9fdc5f425e48e8f19cb599c18

Update i18n shim

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

Change-Id: I006788a42f536cb1e2c04ec6c1dfb1ede23c9ca3
Updated mediawiki/extensions
Project: mediawiki/extensions/Genderize  ec0091b53b882b8b58b5b58e804d45d3bda6d7c8

Update i18n shim

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

Change-Id: I1cde6e70a9eb59dce00c660206401a3534214501
Updated mediawiki/extensions
Project: mediawiki/extensions/Gadgets  86d1f1066431e00623600502324bc8b4bd66e6f7

Update i18n shim

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

Change-Id: Ic74bdc85da7ff338942f0bc9234b0f706ba64074