diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2009-10-28 08:39:31 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2009-10-28 08:39:31 -0400 |
commit | 4d4ad473477062d2f7ede7e40c2ddde6a590445f (patch) | |
tree | 2931da393d5c68bdec05d0159e7d30ab7f1c4ee5 /coverage/htmlfiles | |
parent | 52ef6f76547e757dc9ca9fc4aecdb9aec4a47368 (diff) | |
download | python-coveragepy-git-4d4ad473477062d2f7ede7e40c2ddde6a590445f.tar.gz |
Small tweaks to make the HTML reports valid 4.01 strict. Thanks, Ben Finney.
Diffstat (limited to 'coverage/htmlfiles')
-rw-r--r-- | coverage/htmlfiles/index.html | 3 | ||||
-rw-r--r-- | coverage/htmlfiles/pyfile.html | 7 |
2 files changed, 6 insertions, 4 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 2234ac73..5129c301 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -1,6 +1,7 @@ -<!doctype html PUBLIC "-//W3C//DTD html 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
+<meta http-equiv='Content-Type' content='text/html; charset=utf-8'>
<title>Coverage report</title>
<link rel='stylesheet' href='style.css' type='text/css'>
</head>
diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html index 91c56cbe..e2ec19c3 100644 --- a/coverage/htmlfiles/pyfile.html +++ b/coverage/htmlfiles/pyfile.html @@ -1,10 +1,11 @@ -<!doctype html PUBLIC "-//W3C//DTD html 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
+<meta http-equiv='Content-Type' content='text/html; charset=utf-8'>
<title>Coverage for {{cu.name|escape}}</title>
<link rel='stylesheet' href='style.css' type='text/css'>
-<script src='jquery-1.3.2.min.js'></script>
-<script>
+<script type='text/javascript' src='jquery-1.3.2.min.js'></script>
+<script type='text/javascript'>
function toggle_lines(btn, cls) {
var btn = $(btn);
if (btn.hasClass("hide")) {
|