Migrate phpstorm config: webide 7 -> webide 8