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