Developer Tools

Some of our developers use an recommend phpStorm http://www.jetbrains.com/phpstorm/index.html