Improve PHP highlighter by applying Tim Hatch's patch from #3326.
Authored by: cboos 2006-06-26
Parent: [r3487]
Child: [r3489]