Remove extra space in <html> from version="" stuff
authorAryeh Gregor <simetrical@users.mediawiki.org>
Fri, 5 Feb 2010 02:36:18 +0000 (02:36 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Fri, 5 Feb 2010 02:36:18 +0000 (02:36 +0000)
includes/OutputPage.php

index 93fde20..872cd4f 100644 (file)
@@ -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";