Is there a PHP script that can automatically change .png extensions in my html to .gif?

[Chris]

I have PNG and GIF images in the same directory, but I want to serve GIFs for Internet Explorer 6 and PNGs for everybody else.