Sounds good, I mentioned this on HTML5 page.
Is "XHTML 1.1" the same as "XHTML 1.0 Transitional"? I find no "XHTML 1.1" in our codebase. Prior to your patch if I set $wgHtml5=false, my wiki outputs pages starting:
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
I'm confused because W3C's http://www.w3.org/TR/xhtml11/xhtml11_dtd.html describes a separate
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/MarkUp/DTD/xhtml11.dtd">
I think you're dropping what the HTML5 FAQ calls XHTML 1.0 Transitional, but with your patch there are several PHP files that continue to output that doctype.
This post was posted by SPage (WMF), but signed as S Page (WMF).