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