From 9cd43cd01a3749613209334db6a814b3df96e06a Mon Sep 17 00:00:00 2001
From: Siebrand Mazeland <s.mazeland@xs4all.nl>
Date: Thu, 21 Nov 2013 19:30:01 +0100
Subject: [PATCH] Replace inline tab with space

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

Change-Id: I363a3299d61e2cfb7c31db9c293a2c7e73fcef44
---
 includes/diff/DifferenceEngine.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/diff/DifferenceEngine.php b/includes/diff/DifferenceEngine.php
index f80eaccbe2..6e74f2c8d4 100644
--- 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";
 	}
 
-- 
2.20.1