1 files changed, 3 insertions, 0 deletions
diff --git a/httpd/cgi-bin/check b/httpd/cgi-bin/check
index 258332c..05532a4 100755
--- a/httpd/cgi-bin/check
+++ b/httpd/cgi-bin/check
@@ -1608,6 +1608,9 @@ sub fin_template ($$)
     }
     else {
         $T->param(file_version => $File->{Version});
+        if ($File->{Version} eq "HTML5") {
+                $T->param(is_html5 => TRUE);
+        }
     }
     my ($num_errors, $num_warnings, $num_info, $reported_errors) =
         &report_errors($File);