[20:13:33] <wikibugs>	 (03CR) 10DannyS712: lib/icons.js - fix extension name (031 comment) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/667250 (owner: 10DannyS712)
[21:35:35] <wikibugs>	 (03CR) 10Catrope: Programmatically generate search options in PHP (032 comments) [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/665458 (https://phabricator.wikimedia.org/T273166) (owner: 10Eric Gardner)