Updated mediawiki/extensions
Project: mediawiki/extensions/FeedsFromPrivateWikis  c911478a29a3c4430967a4b101867301a68dadd5

Update i18n shim

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

Change-Id: I5d61072f1c23913d7de1d4413aa503a27372d3d9
Updated mediawiki/extensions
Project: mediawiki/extensions/FeaturedFeeds  af36f32c88ea2b73278fb7e6087126a0c43d38ed

Update i18n shim

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

Change-Id: I90ae5c2400fbee48032fbe797dd86597b77e8a86
Updated mediawiki/extensions
Project: mediawiki/extensions/FanBoxes  444b32873c1f979c47b25b71678cca1e513658fa

Update i18n shim

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

Change-Id: I7ec439b6c24febd28eed19df4410cdbe3f308464
Updated mediawiki/extensions
Project: mediawiki/extensions/ExtTab  6c61d99b3f39329e5d4ddf249b72bb4c8d9568be

Update i18n shim

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

Change-Id: Ic69ba2e128b1da244f76a4fa7c12cdf5a1f583ff