Adding PHPStorm 7 settings