Sorry about the confusing title.
Are there any web IDEs available that can be downloaded and installed on a local server.
For example something like cloud9 or shiftedit but that I can use locally.
I am aware of the ACE text editor which seems to be what a lot of this stuff is based off of but it doesn't seem to do syntax highlighting for mixed html/php/javascript.
Can't you use cloud9 locally? https://github.com/ajaxorg/cloud9