OLD | NEW |
| (Empty) |
1 <html> | |
2 <head> | |
3 <script> | |
4 function log(message) | |
5 { | |
6 var item = document.createElement("li"); | |
7 item.appendChild(document.createTextNode(message)); | |
8 document.getElementById("console").appendChild(item); | |
9 } | |
10 </script> | |
11 </head> | |
12 <body> | |
13 <ul id=console> | |
14 </ul> | |
15 | |
16 <link id="theprerender" rel=prerender href="http://prerender.com/"/> | |
17 | |
18 <script> | |
19 var prerender = document.getElementById('theprerender'); | |
20 | |
21 function removePrerender() | |
22 { | |
23 var link = document.getElementById('theprerender'); | |
24 link.parentElement.removeChild(link); | |
25 } | |
26 | |
27 function mutateTarget() | |
28 { | |
29 var link = document.getElementById('theprerender'); | |
30 link.href = "http://mutated.com/"; | |
31 } | |
32 | |
33 function mutateRel() | |
34 { | |
35 var link = document.getElementById('theprerender'); | |
36 link.rel = "something-else"; | |
37 } | |
38 | |
39 prerender.addEventListener('webkitprerenderstart', function() { log("webki
tprerenderstart"); }, false); | |
40 prerender.addEventListener('webkitprerenderstop', function() { log("webkit
prerenderstop"); }, false); | |
41 prerender.addEventListener('webkitprerenderload', function() { log("webkit
prerenderload"); }, false); | |
42 prerender.addEventListener('webkitprerenderdomcontentloaded', function() {
log("webkitprerenderdomcontentloaded"); }, false); | |
43 </script> | |
44 </body> | |
45 </html> | |
OLD | NEW |