| 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 |