Formatted php file