getting rid of PHPStorm stuff I accidentally committed