PHPStorm settings ignore