add docu for phpunit4 phpstorm incompatibility bug