Updated mediawiki/extensions
Project: mediawiki/extensions/RDFIO  52d0c88c6d591cbc7d83880ac0b762de4ee68200

Update i18n shim

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

Change-Id: I2fe25765aba97c94e295e6b37e01d57e2bcb7ad3
Updated mediawiki/extensions
Project: mediawiki/extensions/Ratings  c2960232be03d6e8d2f9a6368d3f00a65cbff65b

Update i18n shim

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

Change-Id: I84e67d7a39decee143402557d9f9323474af1d90
Updated mediawiki/extensions
Project: mediawiki/extensions/RandomUsersWithAvatars  4db6e2849d04f739d39442d0f504835ab64ca6fd

Update i18n shim

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

Change-Id: Ia742e5439d76fecaf84ff8da435cc753950efdca
Updated mediawiki/extensions
Project: mediawiki/extensions/RandomRootPage  ad4dac3280cbbc06ebd51d31750cbe70e1c6b4ce

Update i18n shim

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

Change-Id: Ie9c94f517714cabbca6571eff087f1d86610acae