From 3bca1224aa1d3b1f282bb2f00d814b63f71bd4c0 Mon Sep 17 00:00:00 2001
From: Aryeh Gregor <simetrical@users.mediawiki.org>
Date: Fri, 5 Feb 2010 02:36:18 +0000
Subject: [PATCH] Remove extra space in <html> from version="" stuff

---
 includes/OutputPage.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 93fde209b1..872cd4f8cc 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -2105,8 +2105,8 @@ class OutputPage {
 				# Much saner.
 				$ret .= "<!doctype html>\n";
 			}
-			$ret .= "<html lang=\"$wgContLanguageCode\" dir=\"$dir\" ";
-			if ( $wgHtml5Version ) $ret .= " version=\"$wgHtml5Version\" ";
+			$ret .= "<html lang=\"$wgContLanguageCode\" dir=\"$dir\"";
+			if ( $wgHtml5Version ) $ret .= " version=\"$wgHtml5Version\"";
 			$ret .= ">\n";
 		} else {
 			$ret .= "<!DOCTYPE html PUBLIC \"$wgDocType\" \"$wgDTD\">\n";
-- 
2.20.1

