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