fix short open php tags