[00:21:01] <wikibugs>	 (03PS1) 10Umherirrender: build: Swap deprecated @codingStandardsIgnore to phpcs:disable [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/675259 (https://phabricator.wikimedia.org/T278594)
[00:50:23] <wikibugs>	 (03CR) 10DannyS712: [C: 03+2] build: Swap deprecated @codingStandardsIgnore to phpcs:disable [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/675259 (https://phabricator.wikimedia.org/T278594) (owner: 10Umherirrender)
[01:18:16] <wikibugs>	 (03Merged) 10jenkins-bot: build: Swap deprecated @codingStandardsIgnore to phpcs:disable [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/675259 (https://phabricator.wikimedia.org/T278594) (owner: 10Umherirrender)