Wikimedia Bugzilla is closed!

The Score extension outputs PNG images via <img> tags with no 'width' or 'height' attribute.

This not only forces the browser to re-flow layout once the images load, it makes it harder to replace in higher-resolution images.

Since there's no database storage where we can store images, and the handling of existing renderings works by scanning the storage directory for files, this is hard to handle in the later rendering.

One way to handle this might be to use getimagesize() on the PNGs right after they're generated, then save the filename -> size associations into a .json file and stash that in the directory along with the PNG and MIDI files.

Missing a data file could either do back-compat rendering without the width/height or could trigger a re-render, so existing renderings would be updated.