Revert registration.php exclusion

Willem Wigman · Willem Wigman · commit 1f3c3e18a5b6 · 2020-05-08T15:01:28.000+02:00
diff --git a/tests/Integration/phpunit.xml.dist b/tests/Integration/phpunit.xml.dist
@@ -22,9 +22,6 @@
     <filter>
         <whitelist addUncoveredFilesFromWhiteList="true">
             <directory suffix=".php">../../../vendor/integer-net/*/src</directory>
-            <exclude>
-                <file>../../../vendor/integer-net/*/src/registration.php</file>
-            </exclude>
         </whitelist>
     </filter>
     <!-- PHP INI settings and constants definition -->
