| <html> | |
| <import src="../resources/dump-as-text.sky" /> | |
| <import src="/gen/mojo/public/sky/core.sky" as="core" /> | |
| <div id="result">FAIL</div> | |
| <script> | |
| document.getElementById("result").textContent = | |
| core.readMessage ? "PASS" : "FAIL: core.readMessage is missing"; | |
| </script> | |
| </html> |