diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 4c262dd6e86..2361ad61629 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -9,6 +9,7 @@ processIsolation="false" backupGlobals="false" backupStaticAttributes="false" + forceCoversAnnotation="true" stopOnError="false" stopOnFailure="false" stopOnIncomplete="false"