Jetbrain's PHP IDE.