Fix missing php tag