[17:46:41] <wikibugs>	 (03PS12) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032)
[17:51:07] <wikibugs>	 (03PS13) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032)
[17:54:23] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)
[17:57:18] <wikibugs>	 (03PS1) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] (REL1_35) - 10https://gerrit.wikimedia.org/r/634001 (https://phabricator.wikimedia.org/T237032)
[18:00:46] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] (REL1_35) - 10https://gerrit.wikimedia.org/r/634001 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)