[07:10:41] <wikibugs>	 (03CR) 10Lokal Profil: Implement badges for sitelinks (031 comment) [pywikibot/core] - 10https://gerrit.wikimedia.org/r/442169 (https://phabricator.wikimedia.org/T66457) (owner: 10Lokal Profil)
[14:12:17] <wikibugs>	 (03PS1) 10Reedy: Remove PHP entry point [extensions/MassMessage] - 10https://gerrit.wikimedia.org/r/514727 (https://phabricator.wikimedia.org/T140007)
[15:01:57] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] Remove PHP entry point [extensions/MassMessage] - 10https://gerrit.wikimedia.org/r/514727 (https://phabricator.wikimedia.org/T140007) (owner: 10Reedy)
[16:08:40] <wikibugs>	 (03PS1) 10WMDE-Fisch: build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint [skins/Vector] - 10https://gerrit.wikimedia.org/r/514783
[17:02:36] <wikibugs>	 (03PS1) 10星耀晨曦: Replace SpecialPage::getTitle() with SpecialPage::getPageTitle() [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/514819 (https://phabricator.wikimedia.org/T223005)
[17:44:00] <wikibugs>	 (03Merged) 10jenkins-bot: Remove PHP entry point [extensions/MassMessage] - 10https://gerrit.wikimedia.org/r/514727 (https://phabricator.wikimedia.org/T140007) (owner: 10Reedy)
[17:50:01] <wikibugs>	 (03CR) 10jenkins-bot: Remove PHP entry point [extensions/MassMessage] - 10https://gerrit.wikimedia.org/r/514727 (https://phabricator.wikimedia.org/T140007) (owner: 10Reedy)
[17:55:16] <wikibugs>	 (03CR) 10Yaron Koren: [C: 03+2] Replace SpecialPage::getTitle() with SpecialPage::getPageTitle() [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/514819 (https://phabricator.wikimedia.org/T223005) (owner: 10星耀晨曦)
[19:15:34] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint [skins/Vector] - 10https://gerrit.wikimedia.org/r/514783 (owner: 10WMDE-Fisch)
[19:24:18] <wikibugs>	 (03Merged) 10jenkins-bot: Replace SpecialPage::getTitle() with SpecialPage::getPageTitle() [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/514819 (https://phabricator.wikimedia.org/T223005) (owner: 10星耀晨曦)
[19:49:45] <wikibugs>	 (03CR) 10jenkins-bot: Replace SpecialPage::getTitle() with SpecialPage::getPageTitle() [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/514819 (https://phabricator.wikimedia.org/T223005) (owner: 10星耀晨曦)
[20:12:11] <wikibugs>	 (03Merged) 10jenkins-bot: build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint [skins/Vector] - 10https://gerrit.wikimedia.org/r/514783 (owner: 10WMDE-Fisch)
[22:12:33] <wikibugs>	 (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/514903 (owner: 10L10n-bot)