Optional php_tidy