gPHPEdit
gPHPEdit est un éditeur de texte orienté PHP/HTML/CSS pour le développement sous Gnome.
Installation
gPHPEdit n'est plus dans les dépôts officiels depuis Bionic.
Vous pourrez alors lancer le logiciel depuis le menu Applications → programmation → gPHPEdit.