Updated mediawiki/extensions
Project: mediawiki/extensions/PushToWatch  4cdddb8a05da817c31457f0dc27adbb617282a88

Update i18n shim

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

Change-Id: If7940041a6c7d95783b401b156b56330591cee15
Updated mediawiki/extensions
Project: mediawiki/extensions/Push  6fbaa432a74689b8fc7cc36edc14fbfc2f9bedf9

Update i18n shim

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

Change-Id: I95ad8fc384494ef8b159add3fa8dc4c65baf221a
Updated mediawiki/extensions
Project: mediawiki/extensions/PubSubHubbub  d93169b895edbb9c8b48f686be512441179d4c2f

Update i18n shim

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

Change-Id: I5088d4e62edeb206e43a7cf20d01510055cc4663
Updated mediawiki/extensions
Project: mediawiki/extensions/ProtectSite  2086e28335d5ca00f8a3b2c0460852890c4742dc

Update i18n shim

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

Change-Id: I902c25a241c134eb41ff3268778fcdee61d25667
Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  d9ffb277ed907073eb2f54584b9fb8e7f6d5fbb7

Update i18n shim

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

Change-Id: I84c5b240c0bf47daa326456ae20da2fa27af41e2
Updated mediawiki/extensions
Project: mediawiki/extensions/PronunciationRecording  f3e1691454ae05bf2592cebc2f51786c74b98194

Update i18n shim

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

Change-Id: I3279edef5783ac07b70106110931c9c74e4f1e57
Updated mediawiki/extensions
Project: mediawiki/extensions/PrivateDomains  9347fb1e6d663fee7bbd8920ddb40f8a4ae56311

Update i18n shim

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

Change-Id: Ia7dc6403252808707827b9c29546c349f3823bc0
Updated mediawiki/extensions
Project: mediawiki/extensions/Premoderation  8922747cffdb777506246dc7897e5b1b0f180897

Update i18n shim

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

Change-Id: If49539bea484493a2f17b3e160eaf1e23fbe9b74