PHP distribution file png.gif should ALSO be distributed
in PNG format, file php.png.
GIF format files have patent problems
(from the LZW compression algorithm).
See http://burnallgifs.org/ for details.

For your convenience, here's the file in uudecode format, generated from distribution file php.gif:

http://dan.drydog.com/images/php.png

$ ls -l php.png
-rw-r--r--    1 dan          3981 Oct 21 15:14 php.png
$ md5sum php.png
a48715c8e9bccfbb92f950b9aec0921e  php.png
$ file php.png
php.png: PNG image data, 120 x 64, 8-bit colormap, interlaced.