Remaining config file of PHPStorm