[12:49:28] (03CR) 10Matthias Mullie: [C: 03+2] Add local dev flag for MediaSearch [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/635377 (owner: 10Anne Tomasevich) [12:54:13] (03PS7) 10Matthias Mullie: Split entity fetching out into its own class & allow multiple searches [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/640819 (https://phabricator.wikimedia.org/T252692) [13:13:24] (03Merged) 10jenkins-bot: Add local dev flag for MediaSearch [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/635377 (owner: 10Anne Tomasevich) [18:23:46] 10Multimedia, 10MediaWiki-extensions-PagedTiffHandler, 10Product-Infrastructure-Team-Backlog (Kanban), 10User-brennen, 10Wikimedia-production-error: PHP Notice: Undefined index from PagedTiffHandler_body.php:269 - https://phabricator.wikimedia.org/T200839 (10sdkim)