Jetbrain's PHP IDE.
