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