Merge "Speed up code coverage generation for local development"

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 2d182a6..b4258d0 100644 (file)
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -46,10 +46,12 @@
                </exclude>
        </groups>
        <filter>
-               <whitelist addUncoveredFilesFromWhitelist="true">
+               <whitelist addUncoveredFilesFromWhitelist="false">
                        <directory suffix=".php">includes</directory>
                        <directory suffix=".php">languages</directory>
                        <directory suffix=".php">maintenance</directory>
+                       <directory suffix=".php">extensions</directory>
+                       <directory suffix=".php">skins</directory>
                        <exclude>
                                <directory suffix=".php">languages/messages</directory>
                                <file>languages/data/normalize-ar.php</file>