[16:08:11] <wikibugs>	 (03CR) 10Jack Phoenix: [C: 03+2] Remove the custom JS variable wgUserId in favor of mw.user.getId() [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/561152 (owner: 10Jack Phoenix)
[16:11:15] <wikibugs>	 (03Merged) 10jenkins-bot: Remove the custom JS variable wgUserId in favor of mw.user.getId() [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/561152 (owner: 10Jack Phoenix)
[18:09:51] <wikibugs>	 (03PS11) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032)
[18:10:33] <wikibugs>	 (03CR) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions (031 comment) [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)
[18:11:47] <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)