Updated mediawiki/extensions
Project: mediawiki/extensions/VectorBeta  2cb783d336cfa7bc1d2d9163a8ab3dcac7c327f8

Update i18n shim

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

Change-Id: Ic4b9979bdca4699ce16d07f833f26f0e5e86c0a7
Updated mediawiki/extensions
Project: mediawiki/extensions/Variables  d8bca97c9b111ee724faca7644b66da410a90031

Update i18n shim

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

Change-Id: If1a48c9938ff42e03283ac77c79dd743623247c7
Updated mediawiki/extensions
Project: mediawiki/extensions/Validator  c9a930c8b0878e2cedccfe5c332f9c06e74606c8

Update i18n shim

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

Change-Id: I0f02660b86fa7467debdba8a2ea7f4e28703cc00
Updated mediawiki/extensions
Project: mediawiki/extensions/UserThrottle  5e852d2396fcde9e5371bedfd012bd2a02e8ceb5

Update i18n shim

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

Change-Id: I32b46fce0929356980ad8a7cc54b43dc210d2fed
Updated mediawiki/extensions
Project: mediawiki/extensions/UserStatus  cde7fdd983e06f6d682745b6fe12b2095a8dd886

Update i18n shim

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

Change-Id: I9d8142bb17e5782d829a782d8be1cf2d1bf1e994
Updated mediawiki/extensions
Project: mediawiki/extensions/UserPageViewTracker  704df7c58ea48fa1fb15e8fdaa3379cb54a1f9aa

Update i18n shim

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

Change-Id: Ie53119d1e0af0d1e555d7b13a44368d5952c224a
Updated mediawiki/extensions
Project: mediawiki/extensions/UserOptionStats  b2002e1a27f064ae27c09ae47f219ce7bfefd91c

Update i18n shim

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

Change-Id: I0872a42c3166c5d859aaa15c0695534b2bba7b91
Updated mediawiki/extensions
Project: mediawiki/extensions/UserMerge  c74427a0f6934f877a398a78e579dc96b9d9be12

Update i18n shim

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

Change-Id: I66360752311fa6574b1db892608935676c509a8a