This build is focused on various bug fixes and improvements from the PHP, web & IntelliJ platform sides.
See full release notes for a list of changes.
Patch-updates are available from the previous stable and EAP builds (PhpStorm 7.1.2 133.803 and PhpStorm 7.1.2 EAP 133.768). Stable version of this 7.1.3 update will be released the next week.
Develop with pleasure!
-JetBrains PhpStorm Team