/usr/share/w3c-linkchecker/docs/linkchecker.js is in w3c-linkchecker 4.81-9.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | function uriOk(num)
{
if (!document.getElementById) {
return true;
}
var u = document.getElementById('uri_' + num);
var ok = false;
if (u.value.length > 0) {
if (u.value.search) {
ok = (u.value.search(/\S/) !== -1);
}
else {
ok = true;
}
}
if (!ok) {
u.focus();
}
return ok;
}
function show_progress(progress_id, progress_text, progress_percentage)
{
var div = document.getElementById("progress" + progress_id);
var head = div.getElementsByTagName("h3")[0];
var text = document.createTextNode(progress_text);
var span = document.createElement("span");
span.appendChild(text);
head.replaceChild(span, head.getElementsByTagName("span")[0]);
var bar = div.getElementsByTagName("div")[0];
bar.firstChild.style.width = progress_percentage;
bar.title = progress_percentage;
var pre = div.getElementsByTagName("pre")[0];
pre.scrollTop = pre.scrollHeight;
}
|