diff options
-rwxr-xr-x | httpd/cgi-bin/check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/httpd/cgi-bin/check b/httpd/cgi-bin/check index 94288d0..0322e8c 100755 --- a/httpd/cgi-bin/check +++ b/httpd/cgi-bin/check @@ -726,7 +726,7 @@ if ($File->{Namespace}) { ); } } - else { + elsif ($File->{DOCTYPE} ne 'HTML5') { &add_warning( 'W11', { W11_ns => $File->{Namespace}, |