Schau dir mal PHPed an. Ist imho der beste kostenlose PHP Editor.
Bietet ausser highlightning noch weitere Extras wie zB automatische Eingabe-Vervollständigung, von Variablen oder MySQL-Befehle.
http://www.soysal.com/PHPEd/
mfg the bruschni
www.adsl-info.org