attributes no longer available in phpunit 10.0

Author: marcohanke

phpunit.xml.dist

@@ -2,12 +2,10 @@
 <phpunit xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xsi:noNamespaceSchemaLocation="https://schema.phpunit.de/10.0/phpunit.xsd"
     bootstrap=".tools/bootstrap.php"
-    beStrictAboutCoversAnnotation="true"
     beStrictAboutOutputDuringTests="true"
     beStrictAboutTodoAnnotatedTests="true"
     failOnWarning="true"
     failOnRisky="true"
-    verbose="true"
     colors="true"
     stderr="true"
     defaultTestSuite="unit">