PhpStorm 7.1.2 bug fix update is available
PhpStorm 7.1.2 build 133.803 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.1) will be available in an hour.
Develop with pleasure!
-JetBrains PhpStorm Team