EOF: PHP closing tag be gone!