| <html> |
| <head></head> |
| <body> |
| <link id="theprerender" rel=prerender href="/prerender"/> |
| |
| <script> |
| var prerender = document.getElementById('theprerender'); |
| |
| function removePrerender() |
| { |
| var link = document.getElementById('theprerender'); |
| link.parentElement.removeChild(link); |
| } |
| |
| function mutateTarget() |
| { |
| var link = document.getElementById('theprerender'); |
| link.href = "/mutated"; |
| } |
| |
| function mutateRel() |
| { |
| var link = document.getElementById('theprerender'); |
| link.rel = "/something-else"; |
| } |
| </script> |
| </body> |
| </html> |
