Make PHP the highlighting language by default