From 27285261037e54cc62b18fda1fe2a0516ef1426d Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Thu, 5 Aug 2010 20:21:59 +0000 Subject: [PATCH] (bug 24648) Update docs for $wgHtml5 I'd really like to remove this and set it always true, but we can't do that until it's enabled on Wikimedia for a while successfully. --- includes/DefaultSettings.php | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index db553ffb21..bfdb6da596 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -2051,10 +2051,9 @@ $wgDTD = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'; $wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml'; /** - * Should we output an HTML5 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. + * Should we output an HTML5 doctype? If false, use XHTML 1.0 Transitional + * instead, and disable HTML5 features. This may eventually be removed and set + * to always true. */ $wgHtml5 = true; -- 2.20.1