Fix PHP tags