Added PHPStorm preferences