[10:12:34] <grrrit-wm>	 (03CR) 10Jack Phoenix: [C: 032] Add extension.json, remove old PHP i18n file (shim) [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/300075 (owner: 10Jack Phoenix)
[10:13:46] <grrrit-wm>	 (03Merged) 10jenkins-bot: Add extension.json, remove old PHP i18n file (shim) [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/300075 (owner: 10Jack Phoenix)