https://bugzilla.wikimedia.org/show_bug.cgi?id=28350
Brion Vibber <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|WONTFIX | --- Comment #4 from Brion Vibber <[email protected]> 2011-03-31 23:09:39 UTC --- The doc comment on $wgDocType and $wgDTD don't mention that they have no effect if $wgHtml5 is set, so this is definitely a documentation bug: /** The HTML document type. */ $wgDocType = '-//W3C//DTD XHTML 1.0 Transitional//EN'; /** The URL of the document type declaration. */ $wgDTD = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'; /** The default xmlns attribute. */ $wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml'; /** * 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; If $wgHtml5 being on disables the three other settings, then they should all be updated to indicate this. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
