[00:05:48] (03CR) 10Jforrester: [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.10.5 [extensions/CommonsMetadata] - 10https://gerrit.wikimedia.org/r/647454 (owner: 10Libraryupgrader) [12:56:25] (03CR) 10jerkins-bot: [V: 04-1] build: Updating dependencies [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/648201 (owner: 10Libraryupgrader) [14:59:21] (03PS2) 10Daimona Eaytoy: build: Updating dependencies [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/648201 (owner: 10Libraryupgrader) [16:39:34] (03CR) 10Umherirrender: [C: 03+2] build: Updating dependencies [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/648201 (owner: 10Libraryupgrader) [17:49:19] (03CR) 10Jforrester: [C: 03+2] "Though if we're going this simple, we could just re-use the standard icon from OOUI over the top of the background? This suffices for now." [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/647337 (https://phabricator.wikimedia.org/T258644) (owner: 10Kaldari) [18:42:00] (03PS17) 10Eric Gardner: Instrument MediaSearch analytics using modern Event Platform [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) [18:43:16] (03CR) 10Eric Gardner: "This patch has been updated to reflect the latest state of the schema (which now lives under: /analytics/mediawiki/mediasearch_interaction" [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) (owner: 10Eric Gardner) [19:04:01] (03CR) 10jerkins-bot: [V: 04-1] Instrument MediaSearch analytics using modern Event Platform [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) (owner: 10Eric Gardner) [19:17:56] (03Merged) 10jenkins-bot: Simpler, less confusing audio play button [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/647337 (https://phabricator.wikimedia.org/T258644) (owner: 10Kaldari) [19:32:11] (03CR) 10Eric Gardner: "recheck" [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) (owner: 10Eric Gardner) [23:40:30] (03PS18) 10Eric Gardner: Instrument MediaSearch analytics using modern Event Platform [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) [23:41:08] (03CR) 10Eric Gardner: "I've updated this patch to reflect the latest changes to the new MediaSearch schema." [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/630681 (https://phabricator.wikimedia.org/T258183) (owner: 10Eric Gardner)