diff -r e70004b11b3b -r 2c579ea45608 server/src/phpunit.xml --- a/server/src/phpunit.xml Mon Oct 16 15:18:53 2017 +0200 +++ b/server/src/phpunit.xml Mon Oct 16 15:22:08 2017 +0200 @@ -35,6 +35,8 @@ + +