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.
Now there is 5.0, Firefox has messed up our release versioning.
5 is just in Early Access, it'll be there for many months to come. Usually when they start an EAP it's pretty beta still.