Replace inline tab with space

Spotted by Umherirrender in
https://gerrit.wikimedia.org/r/#/c/96554/1/includes/diff/DifferenceEngine.php

Change-Id: I363a3299d61e2cfb7c31db9c293a2c7e73fcef44

diff --git a/includes/diff/DifferenceEngine.php b/includes/diff/DifferenceEngine.php
index f80eacc..6e74f2c 100644 (file)
--- a/includes/diff/DifferenceEngine.php
+++ b/includes/diff/DifferenceEngine.php
@@ -924,7 +924,7 @@ class DifferenceEngine extends ContextSource {
                $data[] = wfTimestamp( TS_DB );
 
                return "<!-- diff generator: " .
-                       implode( " ",   array_map( "htmlspecialchars", $data ) ) .
+                       implode( " ", array_map( "htmlspecialchars", $data ) ) .
                        " -->\n";
        }