Merge pull request #112 from antoine-pous/github

[php-libraries/Router.git] / phpunit.xml.dist

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index c345cfe..002f867 100644 (file)
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -1,9 +1,11 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<phpunit backupGlobals="false"
+<phpunit
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:noNamespaceSchemaLocation="http://schema.phpunit.de/4.8/phpunit.xsd"
+         backupGlobals="true"
          backupStaticAttributes="false"
          colors="true"
-         syntaxCheck="true"
          convertErrorsToExceptions="true"
          convertNoticesToExceptions="true"
          convertWarningsToExceptions="true"