phpunit: Remove skins/ from coverage index
authorTimo Tijhof <krinklemail@gmail.com>
Sun, 23 Jul 2017 00:23:24 +0000 (17:23 -0700)
committerTimo Tijhof <krinklemail@gmail.com>
Sun, 23 Jul 2017 00:23:24 +0000 (17:23 -0700)
commit6aa1b85954192d4e13850ec8b53ed9bea7428480
tree4ef036c153a3807677889015018aadc6bdd996ed
parentbe00e4c0bb2e473102eafdd6629c61c7e87ea536
phpunit: Remove skins/ from coverage index

As of a few releases ago, there are no longer any skins in core
in that directory (base classes and fallback are under includes/).

Removing this makes running phpunit coverage faster locally,
when there are skins installed. This should be excluded, similar
to how extensions/ is not indexed for the core report, either.

Change-Id: Idc01578bf22febc684dbcb7aeb9ec9475e930ae4
tests/phpunit/suite.xml