From 29b350d8edf8444dae85b032415e9383951938aa Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 11 Oct 2011 20:33:20 +0200
Subject: [PATCH] Fix whitespace.

---
 PHPUnit/TextUI/Command.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/PHPUnit/TextUI/Command.php b/PHPUnit/TextUI/Command.php
index 1113ee2a3f6..fe1515f75a9 100644
--- a/PHPUnit/TextUI/Command.php
+++ b/PHPUnit/TextUI/Command.php
@@ -317,9 +317,10 @@ protected function handleArguments(array $argv)
                         break;
 
                         case '--coverage-text': {
-                            if($option[1] === NULL) {
+                            if ($option[1] === NULL) {
                                 $option[1] = 'php://stdout';
                             }
+
                             $this->arguments['coverageText'] = $option[1];
                             $this->arguments['coverageTextShowUncoveredFiles'] = FALSE;
                         }