gecko-dev/webtools/tinderbox/tinderboxen.html

69 строки
1.6 KiB
HTML
Исходник Обычный вид История

2001-04-10 05:26:52 +04:00
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
2000-09-27 12:06:35 +04:00
<html>
<head>
<title>Tinderboxen Big Picture</title>
</head>
<body>
<center>
<h1>Tinderboxen Big Picture</h1>
</center>
<script>
2000-09-28 00:44:55 +04:00
// Use JavaScript to refresh the page every 15 minutes
setTimeout('location.reload()',900000);
2000-09-27 12:06:35 +04:00
// For 3.0?
var noDHTML = false;
if (parseInt(navigator.appVersion) < 4) {
window.event = 0;
noDHTML = true;
} else if (navigator.userAgent.indexOf("MSIE") > 0 ) {
noDHTML = true;
}
// Add trees here.
var $tree1 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey&express=1";
2001-09-19 03:24:28 +04:00
var $tree2 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Branch&express=1";
2001-03-03 05:30:49 +03:00
var $tree3 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Ports&express=1";
2000-09-27 12:06:35 +04:00
// Print out using layers for 4.x
function printLayer(tree) {
document.write("<ilayer src=\"");
document.write(tree);
document.write("\"></ilayer>");
}
// Print out using iframes for mozilla, ie.
function printIFrame(tree) {
document.write("<iframe frameborder=0 height=150 width=100% src=\"");
2000-09-27 12:06:35 +04:00
document.write(tree);
document.write("\"></iframe>");
}
if (typeof document.layers != 'undefined') {
2000-09-27 12:06:35 +04:00
// 4.x
printLayer($tree1);
document.write("<hr>");
2001-09-19 03:24:28 +04:00
printLayer($tree2);
document.write("<hr>");
2001-03-03 05:30:49 +03:00
printLayer($tree3);
2000-09-27 12:06:35 +04:00
} else {
// Mozilla or IE
printIFrame($tree1);
document.write("<hr>");
2001-09-19 03:24:28 +04:00
printIFrame($tree2);
document.write("<hr>");
2001-03-03 05:30:49 +03:00
printIFrame($tree3);
2001-02-27 21:53:53 +03:00
2000-09-27 12:06:35 +04:00
}
</script>
</body>
</html>