Fix PHP scripts' highlighting