解决phpstorm项目版本设置锁不定的问题

RT，公司的一个php项目，用phpstorm时，总是默认设置成5.3版本，手动调成7.2后，关闭ide再打开又跳回5.3，解决方法:

 

 关闭同步json配置文件，再次设置php版本即可。