PhpStorm 7.1.3 bug fix update is available
PhpStorm 7.1.3 build 133.982 is available for download.
This update is focused on various bug fixes and improvements from the PHP, web & IntelliJ platform sides.
Patch-update from the previous stable version (PhpStorm 7.1.2) will be available in an hour.
Develop with pleasure!
-JetBrains PhpStorm Team