[00:11:16] 6Multimedia, 6Commons, 10MediaWiki-File-management, 10MediaWiki-Tarball-Backports, and 7 others: InstantCommons broken by switch to HTTPS - https://phabricator.wikimedia.org/T102566#1732320 (10Tgr) Yes, a couple hours ago. We should write to mediawiki-announce, wait a week or so as a courtesy, and then dro... [11:31:09] (03PS12) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [11:31:45] (03CR) 10jenkins-bot: [V: 04-1] Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 (owner: 10Paladox) [12:11:06] (03PS13) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [12:11:34] (03CR) 10jenkins-bot: [V: 04-1] Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 (owner: 10Paladox) [12:48:32] (03PS14) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [12:49:01] (03CR) 10jenkins-bot: [V: 04-1] Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 (owner: 10Paladox) [12:53:26] (03PS15) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [12:53:54] (03CR) 10jenkins-bot: [V: 04-1] Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 (owner: 10Paladox) [15:22:34] (03PS1) 10Bartosz Dziewoński: More spaces in square brackets [extensions/UploadWizard] - 10https://gerrit.wikimedia.org/r/247049 [15:22:36] (03PS1) 10Bartosz Dziewoński: Spaces after colons [extensions/UploadWizard] - 10https://gerrit.wikimedia.org/r/247050 [15:31:52] (03PS16) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:35:01] (03PS17) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:35:29] (03CR) 10jenkins-bot: [V: 04-1] Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 (owner: 10Paladox) [15:38:50] (03PS18) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:42:48] (03PS19) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:48:01] (03PS20) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:50:23] (03PS21) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [15:56:07] (03PS22) 10Paladox: Add php code sniffer [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/246777 [20:57:40] (03PS15) 10Paladox: Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) [20:58:10] (03CR) 10jenkins-bot: [V: 04-1] Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) (owner: 10Paladox) [20:59:07] (03PS16) 10Paladox: Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) [20:59:37] (03CR) 10jenkins-bot: [V: 04-1] Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) (owner: 10Paladox) [21:02:06] (03PS17) 10Paladox: Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) [21:02:35] (03CR) 10jenkins-bot: [V: 04-1] Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) (owner: 10Paladox) [21:03:20] (03PS18) 10Paladox: Add support for h265 format [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/231575 (https://phabricator.wikimedia.org/T108312) [21:16:36] (03PS12) 10Paladox: WIP: very basic TimedMediaHandler frontend for mobile [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/217485 (owner: 10Brion VIBBER) [21:17:01] (03CR) 10Paladox: "Was using a patch that was merged and outdated." [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/217485 (owner: 10Brion VIBBER)