[02:14:04] 6Multimedia, 6Commons, 10MediaWiki-extensions-GlobalUsage: GloballyWantedFiles wrongly reports usage of existing files with lowercase first letter - https://phabricator.wikimedia.org/T104782#1426929 (10Krinkle) [02:15:22] 6Multimedia, 6Commons, 10MediaWiki-extensions-GlobalUsage: GloballyWantedFiles wrongly reports usage of existing files with lowercase first letter - https://phabricator.wikimedia.org/T73359#1426932 (10Krinkle) [02:15:34] 6Multimedia, 6Commons, 10MediaWiki-extensions-GlobalUsage: GloballyWantedFiles wrongly reports usage of existing files with lowercase first letter - https://phabricator.wikimedia.org/T104782#1426938 (10Krinkle) [02:15:36] 6Multimedia, 6Commons, 10MediaWiki-extensions-GlobalUsage: GloballyWantedFiles wrongly reports usage of existing files with lowercase first letter - https://phabricator.wikimedia.org/T73359#1426940 (10Krinkle) [02:16:06] 6Multimedia, 6Commons, 10MediaWiki-extensions-GlobalUsage: GloballyWantedFiles wrongly reports usage of existing files with lowercase first letter - https://phabricator.wikimedia.org/T73359#745668 (10Krinkle) [09:35:30] 6Multimedia, 6Commons, 10MediaWiki-Database, 7Database, and 3 others: internal_api_error_DBQueryError: Database query error while (mass) deleting file over api - https://phabricator.wikimedia.org/T98706#1427117 (10Steinsplitter) Error while moving the page. A detailed description of the error is shown belo... [10:44:09] 6Multimedia, 6Commons, 10MediaWiki-Database, 7Database, and 3 others: internal_api_error_DBQueryError: Database query error while (mass) deleting file over api - https://phabricator.wikimedia.org/T98706#1427192 (10hoo) >>! In T98706#1427117, @Steinsplitter wrote: > Error while moving the page. > A detailed... [12:57:37] 6Multimedia, 10MediaWiki-extensions-TimedMediaHandler: Attempting to play Ogg audio files in Internet Explorer fails with a Java error - https://phabricator.wikimedia.org/T104801#1427312 (10TTO) 3NEW [14:33:36] 6Multimedia, 10MediaWiki-extensions-TimedMediaHandler, 5Patch-For-Review: Support ogv.js in player - https://phabricator.wikimedia.org/T63823#1427367 (10brion) [14:33:37] 6Multimedia, 10MediaWiki-extensions-TimedMediaHandler: Attempting to play Ogg audio files in Internet Explorer fails with a Java error - https://phabricator.wikimedia.org/T104801#1427366 (10brion) [14:34:38] 6Multimedia, 10MediaWiki-extensions-TimedMediaHandler: Attempting to play Ogg audio files in Internet Explorer fails with a Java error - https://phabricator.wikimedia.org/T104801#1427368 (10brion) The java applet is indeed not working on current java versions; we've got a JavaScript replacement in the works th... [18:09:30] 6Multimedia, 10MediaWiki-File-management: Add "Other resolutions"-links to .svg files as well (PNG thumbnails) - https://phabricator.wikimedia.org/T8834#1427580 (10He7d3r) [18:11:08] 6Multimedia, 10MediaWiki-File-management: Add "Other resolutions"-links to .svg files as well (PNG thumbnails) - https://phabricator.wikimedia.org/T8834#1427583 (10He7d3r) The fix for this task obsoleted scripts/gadgets such as these: https://en.wikipedia.org/wiki/MediaWiki:Common.js/file.js https://pt.wikiped... [20:04:53] 6Multimedia, 10MediaWiki-extensions-TimedMediaHandler, 7Browser-Support-Internet-Explorer: Attempting to play Ogg audio files in Internet Explorer fails with a Java error - https://phabricator.wikimedia.org/T104801#1428013 (10Aklapper) [20:12:39] 6Multimedia, 3Wikipedia-iOS-App-Product-Backlog: Link to description page of file and provide full license - https://phabricator.wikimedia.org/T100335#1428019 (10Fjalapeno)