Here's one site's list of PHP editors. I have no personal experience, nor any good secondhand stories, so the link is all I got.