やりたこと

PHPStromのPHP language levelを変更したら次回起動時も、変更した値を保持していて欲しい。

環境(今回の作業に関連ないものも記載)

• PHP7.4
• PHPStorm2020.2

設定

PHP language levelはcomposer.jsonを参照している。
なので例えば、composer.jsonが以下のように7.2になっていると、PHPStormのPHP language levelを7.4に変えても次回起動時に元に戻ってしまう。

    "require": {
        "php": ">=7.2",

composer.jsonを7.4に変更してcomposer updateをすると解決する。
（そもそも自分のDockerのPHPが7.4なので7.4にしておくのが正しかった。）

参照

こちらのようにcomposer.jsonとの同期を切るという手もある。
（こちらの対応をするシチュエーション想像つかないけど）

https://qiita.com/ponsuke0531/items/7b6667366c55e3217150
ありがとうございます。