gphpedit | development environment for PHP/HTML/CSS | Mehr ...
gPHPEdit is a GNOME2 editor that is dedicated to editing PHP files and other supporting files, like HTML/CSS. It has support for drop-down function lists, hints showing parameters, and syntax highlighting.