Fix oldstyle PHP open tag