While there are good HTML editors and designers there is plenty of space for programmer-oriented HTML/JavaScript and PHP IDEs. JetBrains has just released one for each technology - interesting ...