Oltre a quelli da te citati esiste un progetto Open Source chiamato Dev PHP che però è disponibile solo per Windows...

http://devphp.sourceforge.net/

Prova a vedere se può soddisfare le tue esigenze...
Ciao