gPHPedit

gPHPedit is a discontinued UTF-8-compatible IDE for web development in PHP using the GNOME desktop environment.

It was originally written by Andy Jeffries, and was maintained by Anoop John.

It is similar to gedit with the difference that it is designed for PHP and HTML text editing.

It is free software licensed under the terms of the GNU General Public License (GPL), Either click in the box or hit Ctrl+I to start typing some text to match.

When finished searching, hit Escape to send the focus to the editor to make the changes at the last found position.