update phpstorm option