[16:16:41] is there any resource out there about nice IDE set-ups to work on a MediaWiki extension? [16:17:35] I am not familiar with the PHP world at all, ideally I would be looking for something that would let me run unit tests from the IDE inside a docker environment [21:22:54] is there any way to have a PNG at commons thumbnailed as a JPG? [21:24:19] quite a lot of WS images are (correctly) saved as PNGs because they're line drawings and have a lot of high-frequency image data, but a very limited colour palette, but when they're finally presented on a page, there's not much point in showing a 400px PNG when a JPG would be almost exactly the same quality at that size [21:44:17] the thumbnailer supports it (https://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Football-field.png/120px-Football-field.png.jpg) [21:44:26] but I don't think it's implemented in MediaWiki [21:44:44] (except for .webp) [21:44:51] oh, great [21:45:06] the thumbnailer support is all I need [21:45:19] (this is for the export tool, so that's an easy check) [21:45:37] (if ends in .png, then add .jpg) [21:45:49] that'll cover like 99% of the cases [21:46:48] (correction: it was tiff I was thinking of that has the |lossy= param) [21:46:55] https://www.mediawiki.org/wiki/Extension:PagedTiffHandler