Update PhpStorm to 8.0.2
Merge pull request #8047 from okonomi/patch-2

Update PhpStorm to 8.0.2