Minor cleanup of the PHP syntax highlighter.
Authored by: cmlenz 2006-11-22
Parent: [r4331]
Child: [r4333]