Update phpstorm settings for 7.1.2 version