add php prettify