[11:10:20] <wikibugs>	 10MediaWiki-extensions-ORES, 10Scoring-platform-team (Current), 10MediaWiki-Core-Hooks, 10MediaWiki-General: Add MediaWiki-core hook to allow extensions to add filter checkboxes on Special:Contributions - https://phabricator.wikimedia.org/T124857 (10DannyS712)