Remove extra space in <html> from version="" stuff

This commit is contained in:
Aryeh Gregor 2010-02-05 02:36:18 +00:00
parent e49286a897
commit 3bca1224aa

View 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";