2009/7/12 Aryeh Gregor <Simetrical+wikilist(a)gmail.com>om>:
Issue fixed in r53141, and $wgHtml5 re-enabled by
default in r53142.
However, it turns out browsers don't treat the doctypes *exactly* the
same, only *almost* exactly (as that issue demonstrated). The HTML 5
doctype triggers slightly more standards-compliant behavior for recent
major browsers in some details of CSS -- which is ultimately good, but
we need to be on the lookout for anything it breaks. This page has
more info on doctype switches in browsers:
You should probably write this up for whatwg - "practical gotchas in
moving a large site to HTML5."
- d.