Upgrade PHPStorm.app to v7.1.3
Merge pull request #3513 from bfanger/phpstorm-update

Upgrade PHPStorm.app to v7.1.3