Merge branch '3.6'

brobie · Jan 24, 2012 · 7d51e4f · 7d51e4f
2 parents 502b8da + 42457c9
commit 7d51e4f
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/PHPUnit/TextUI/Command.php b/PHPUnit/TextUI/Command.php
@@ -114,6 +114,11 @@ class PHPUnit_TextUI_Command
       'version' => NULL
     );
 
+    /**
+     * @var array
+     */
+    protected $missingExtensions = array();
+
     /**
      * @param boolean $exit
      */
@@ -774,6 +779,10 @@ protected function handleBootstrap($filename)
      */
     protected function showExtensionNotLoadedMessage($extension, $message = '')
     {
+        if (isset($this->missingExtensions[$extension])) {
+            return;
+        }
+
         if (!empty($message)) {
             $message = ' ' . $message;
         }
@@ -782,6 +791,8 @@ protected function showExtensionNotLoadedMessage($extension, $message = '')
           'The ' . $extension . ' extension is not loaded.' . $message . "\n",
           FALSE
         );
+
+        $this->missingExtensions[$extension] = TRUE;
     }
 
     /**