PHPStorm 2018.1.7 に更新

PHPStormを2018.1.?（2018.1.1だったか2018.1.3だったか）から2018.1.7に更新した。前に更新した時は「設定を引き継ぐか？」と聞かれたと思うのだが今回は聞かれなかった。

とりあえずプロジェクトは引き継がれているが、エディタやCode Styleなどの設定が引き継がれているかはよくわからん。どこを変えたか覚えてないので^^;