| <html> | |
| <head> | |
| <script src="DOMTestingUtil.js"></script> | |
| <script src="EditingHistoryUtil.js"></script> | |
| <script> | |
| window.addEventListener("load", () => { | |
| let scriptElement = document.createElement("script"); | |
| scriptElement.src = "DumpEditingHistory.js"; | |
| scriptElement.addEventListener("load", () => document.body.focus()); | |
| document.head.appendChild(scriptElement); | |
| }); | |
| </script> | |
| </head> | |
| </html> |