This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
When a device does not support a given image format, the image should be converted to a format the device actually supports. If the image cannot be supported because PHP does not support it, then (and only then) the image should be removed altogether. The GD extension library supports image conversion. It is a common PHP extension, usually installed with Wordpress, Joomla and so on. Let's use it whenever possible.