OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <script> | 3 <script> |
4 function log(message) | 4 function log(message) |
5 { | 5 { |
6 var item = document.createElement("li"); | 6 var item = document.createElement("li"); |
7 item.appendChild(document.createTextNode(message)); | 7 item.appendChild(document.createTextNode(message)); |
8 document.getElementById("console").appendChild(item); | 8 document.getElementById("console").appendChild(item); |
9 } | 9 } |
10 </script> | 10 </script> |
(...skipping 25 matching lines...) Expand all Loading... |
36 link.rel = "something-else"; | 36 link.rel = "something-else"; |
37 } | 37 } |
38 | 38 |
39 prerender.addEventListener('webkitprerenderstart', function() { log("webki
tprerenderstart"); }, false); | 39 prerender.addEventListener('webkitprerenderstart', function() { log("webki
tprerenderstart"); }, false); |
40 prerender.addEventListener('webkitprerenderstop', function() { log("webkit
prerenderstop"); }, false); | 40 prerender.addEventListener('webkitprerenderstop', function() { log("webkit
prerenderstop"); }, false); |
41 prerender.addEventListener('webkitprerenderload', function() { log("webkit
prerenderload"); }, false); | 41 prerender.addEventListener('webkitprerenderload', function() { log("webkit
prerenderload"); }, false); |
42 prerender.addEventListener('webkitprerenderdomcontentloaded', function() {
log("webkitprerenderdomcontentloaded"); }, false); | 42 prerender.addEventListener('webkitprerenderdomcontentloaded', function() {
log("webkitprerenderdomcontentloaded"); }, false); |
43 </script> | 43 </script> |
44 </body> | 44 </body> |
45 </html> | 45 </html> |
OLD | NEW |