Updated mediawiki/extensions Project: mediawiki/extensions/DynamicPageList 735d1602a378d5059851dfc903972807a4fcc839
Update i18n shim
A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.
Change-Id: I26594209739aca622e8fff3d222c489c332a1bcd