diff options
| -rwxr-xr-x | httpd/cgi-bin/check | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/httpd/cgi-bin/check b/httpd/cgi-bin/check index 0322e8c..baaec2b 100755 --- a/httpd/cgi-bin/check +++ b/httpd/cgi-bin/check @@ -2895,7 +2895,9 @@ sub set_parse_mode ); my $parseModeFromNamespace = 'TBD'; - if ($File->{Namespace}) { $parseModeFromNamespace = 'XML' } + # http://www.w3.org/Bugs/Public/show_bug.cgi?id=9967 + $parseModeFromNamespace = 'XML' + if ($File->{Namespace} && $parseModeFromDoctype ne 'HTML5'); if (($parseModeFromMimeType eq 'TBD') and ($parseModeFromXMLDecl eq 'TBD') and |