Leave out PHPStorm files