[18:00:08] <wikibugs>	 (03PS1) 10Jack Phoenix: Define minimum required MediaWiki version in extension.json [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/617202
[18:29:54] <wikibugs>	 (03CR) 10Jack Phoenix: [C: 03+2] Define minimum required MediaWiki version in extension.json [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/617202 (owner: 10Jack Phoenix)
[18:45:46] <wikibugs>	 (03Merged) 10jenkins-bot: Define minimum required MediaWiki version in extension.json [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/617202 (owner: 10Jack Phoenix)