From e6148169593d5935ada1d71af8f49dd5475175c8 Mon Sep 17 00:00:00 2001 From: Arne Blankerts Date: Sun, 12 Aug 2018 16:49:52 +0200 Subject: [PATCH] Fixes #3248 --- phpunit.xsd | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/phpunit.xsd b/phpunit.xsd index c48886a6ea6..fedb7d5a73e 100644 --- a/phpunit.xsd +++ b/phpunit.xsd @@ -18,12 +18,14 @@ - - - - - - + + + + + + + + @@ -146,8 +148,10 @@ - - + + + +