a PHP extension for encoding and decoding PNGs