Replaced the prettyprint configuration with php. #9