2009/7/12 Aryeh Gregor Simetrical+wikilist@gmail.com:
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.