Comment by MrEnigma

Isn't PHPStorm 4.0 still in beta? Or just come off beta recently? Last time I used it, it was quite buggy, and that was only a few months ago.

Now there is 5.0, Firefox has messed up our release versioning.