[18:43:28] (03PS1) 10TheDJ: Correct parser test with tidy config [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272329 (https://phabricator.wikimedia.org/T122787) [19:22:53] 6Multimedia, 6Commons, 10MediaWiki-File-management: PNG thumbnails of black and white images are darker than original image - https://phabricator.wikimedia.org/T127658#2049864 (10Josve05a) [19:26:56] 6Multimedia, 6Commons, 10MediaWiki-File-management: PNG thumbnails of black and white images are darker than original image - https://phabricator.wikimedia.org/T127658#2049868 (10Bawolff) [19:26:58] 6Multimedia, 6Commons, 10MediaWiki-File-management, 7Easy, and 2 others: Greyscale pngs without gAMA chunk rendered with incorrect contrast - https://phabricator.wikimedia.org/T106516#2049869 (10Bawolff) [20:27:16] 6Multimedia, 6Commons, 10MediaWiki-File-management: PNG thumbnails of black and white images are darker than original image - https://phabricator.wikimedia.org/T127658#2049950 (10Ahecht) This seems to be related to the ImageMagick bug documented at http://www.bennadel.com/blog/2825-fixing-grayscale-png-thumb... [22:12:20] 6Multimedia: WebM playback not offered in Internet Explorer and Edge browsers - https://phabricator.wikimedia.org/T127668#2050102 (10Pine) [22:14:13] 6Multimedia: WebM playback not offered in Internet Explorer and Edge browsers - https://phabricator.wikimedia.org/T127668#2050116 (10Pine) I see that @brion authored https://phabricator.wikimedia.org/rETMH9f808c924577f075624e1fd582b44d4b5b92d388, but I was not prompted to install a WebM plugin in either Edge or IE. [22:19:20] 6Multimedia, 6Commons, 10MediaWiki-File-management: PNG thumbnails of black and white images are darker than original image - https://phabricator.wikimedia.org/T127658#2049792 (10Bawolff) >>! In T127658#2049950, @Ahecht wrote: > This seems to be related to the ImageMagick bug documented at http://www.bennade... [22:48:34] (03PS1) 10TheDJ: Remove an unused global [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272420 [22:59:16] (03CR) 10TheDJ: [C: 032] Remove an unused global [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272420 (owner: 10TheDJ) [23:06:18] (03Merged) 10jenkins-bot: Remove an unused global [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272420 (owner: 10TheDJ) [23:24:49] (03PS1) 10TheDJ: Improve dynamic resource module registration [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272422 (https://phabricator.wikimedia.org/T87981) [23:28:03] (03CR) 10jenkins-bot: [V: 04-1] Improve dynamic resource module registration [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272422 (https://phabricator.wikimedia.org/T87981) (owner: 10TheDJ) [23:30:54] (03PS2) 10TheDJ: Improve dynamic resource module registration [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/272422 (https://phabricator.wikimedia.org/T87981)