Das reicht auf keinen Fall, wenn die Datei nur den gleichen Namen hat, aber eine andere Endung. Einige Webserver würde evtl. auf dem Webserver, wenn die .gif-Datei nicht existiert, nach ähnlichen Dateien suchen und dann die .png-Datei finden, aber darauf solltest du dich nicht verlassen!

@Chocwise: Wenn es das Hintergrundbild ist, musst du aber im Design nachgucken, oder?