IDEA Editor: Adds PHPStorm support.
Merge pull request #4712 from schristo/phpstorm

IDEA Editor: Adds PHPStorm support