[07:37:45] <wikibugs__>	 10DBA, 06MediaWiki-Platform-Team, 10MediaWiki-extensions-Linter, 10Wikimedia-Extension-setup, and 3 others: Review and deploy Linter extension to Wikimedia wikis - https://phabricator.wikimedia.org/T148609#3184937 (10Legoktm) >>! In T148609#3184217, @Legoktm wrote: > As I mentioned on IRC, I think the huge...