development environment for PHP/HTML/CSS

 gPHPEdit is a GNOME 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.