PHP Tidy script