No newline character at the end of PHP files