[development] dealing with gzipped data with php.