Revert unrelated (and unworking) change from r61940)

diff --git a/tests/phpunit.xml b/tests/phpunit.xml
index 4e54640..58e50e6 100644 (file)
--- a/tests/phpunit.xml
+++ b/tests/phpunit.xml
@@ -1,8 +1,7 @@
 <!-- See http://www.phpunit.de/manual/3.3/en/appendixes.configuration.html -->
 <phpunit bootstrap="./bootstrap.php"
          colors="false"
-         stopOnFailure="false"
-                verbose="true">
+         stopOnFailure="false">
          <!-- convertErrorsToExceptions="true" -->
          <!-- convertNoticesToExceptions="true" -->
          <!-- convertWarningsToExceptions="true" -->