[07:36:19] (03CR) 10DCausse: [C: 03+1] Increase statements boost based on amount of tokens [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628080 (https://phabricator.wikimedia.org/T262522) (owner: 10Matthias Mullie) [08:55:56] (03CR) 10DCausse: Replace naive PHP-based token length statement score correction (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628301 (https://phabricator.wikimedia.org/T262522) (owner: 10Matthias Mullie) [12:05:55] (03PS1) 10Matthias Mullie: [WIP] Hacky way to load media search survey [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628785 (https://phabricator.wikimedia.org/T258419) [13:10:33] (03CR) 10Matthias Mullie: [C: 04-2] Replace naive PHP-based token length statement score correction (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628301 (https://phabricator.wikimedia.org/T262522) (owner: 10Matthias Mullie) [14:47:03] (03PS1) 10Thiemo Kreuz (WMDE): Fix ?? guard for broken Ogg Vorbis comments [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/628852 (https://phabricator.wikimedia.org/T230158) [14:55:22] (03CR) 10Jforrester: [C: 03+2] "Oops, yes." [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/628852 (https://phabricator.wikimedia.org/T230158) (owner: 10Thiemo Kreuz (WMDE)) [15:18:04] (03Merged) 10jenkins-bot: Fix ?? guard for broken Ogg Vorbis comments [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/628852 (https://phabricator.wikimedia.org/T230158) (owner: 10Thiemo Kreuz (WMDE)) [17:56:23] (03CR) 10Umherirrender: Avoid shadowed variables in javascript (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628599 (owner: 10Umherirrender) [18:05:15] (03PS2) 10Umherirrender: Avoid shadowed variables in javascript [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628599 [18:05:36] (03CR) 10Umherirrender: Avoid shadowed variables in javascript (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628599 (owner: 10Umherirrender) [19:21:31] (03CR) 10Eric Gardner: Add Player base component and use videoinfo API (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628428 (https://phabricator.wikimedia.org/T257637) (owner: 10Eric Gardner) [19:31:49] (03CR) 10Eric Gardner: "I'm not 100% clear on what the best practices are for supporting audio/video files right now, but this patch represents my best guess so f" [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628428 (https://phabricator.wikimedia.org/T257637) (owner: 10Eric Gardner) [22:41:36] (03CR) 10Eric Gardner: "Should we use these larger mobile spacing values wherever the original variables are in use (at the appropriate screen sizes), or are they" [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628434 (https://phabricator.wikimedia.org/T258615) (owner: 10Anne Tomasevich) [22:46:10] (03CR) 10Anne Tomasevich: "I think they're only needed for tabs and filters since the tap area for images and other results is much larger already. That said, we mig" [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/628434 (https://phabricator.wikimedia.org/T258615) (owner: 10Anne Tomasevich) [23:35:47] (03PS4) 10Jdlrobson: Drop jquery.ui.touchpunch [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/628496 (https://phabricator.wikimedia.org/T262947)