Re-enable $wgHtml5

The rendering issue that prompted r53137 has been fixed in r53141.
However, everyone should be on the lookout for browsers becoming
slightly more standards-compliant when this is enabled, possibly
breaking some things.  Since there are no known issues, it should be
safe to re-enable so it can get further testing.  See this page for info
on the effects of different doctypes:

http://hsivonen.iki.fi/doctype/

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index fc1f693..abd4da5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -875,11 +875,12 @@ $wgDTD                            = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd';
 $wgXhtmlDefaultNamespace       = 'http://www.w3.org/1999/xhtml';
 
 /**
- * Should we output an HTML 5 doctype?  This needs to be left off until some
- * lingering rendering issues are resolved -- apparently it switches some
- * browsers from "almost standards" mode to standards mode.
+ * Should we output an HTML 5 doctype?  This mode is still experimental, but
+ * all indications are that it should be usable, so it's enabled by default.
+ * If all goes well, it will be removed and become always true before the 1.16
+ * release.
  */
-$wgHtml5 = false;
+$wgHtml5 = true;
 
 /**
  * Permit other namespaces in addition to the w3.org default.