| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <script> | |
| // Preserve the initial document.prerendering value. | |
| const initial_document_prerendering = document.prerendering; | |
| // Records if 'onprerenderingchange' event is triggered at least once. | |
| let onprerenderingchange_observed = false; | |
| document.addEventListener('prerenderingchange', e => { | |
| onprerenderingchange_observed = true; | |
| }); | |
| </script> | |
| </head> | |
| </html> |