| <!DOCTYPE HTML> | |
| <html > | |
| <head> | |
| <script> | |
| if (window.testRunner) | |
| testRunner.dumpAsText(); | |
| log = function(msg) | |
| { | |
| document.getElementById('console').appendChild(document.createTextNode(msg + "\n")); | |
| } | |
| onload = function() | |
| { | |
| if (document.doctype) | |
| log("PASS: a doctype in a HTML document is not ignored."); | |
| else | |
| log("FAIL: a doctype in a HTML document is ignored."); | |
| if (document.firstChild == document.doctype) | |
| log("PASS: a doctype in an HTML document is correctly set to the first child of the Document."); | |
| else | |
| log("FAIL: a doctype in an HTML document is not correctly set to the first child of the Document."); | |
| } | |
| </script> | |
| </head> | |
| <body> | |
| This tests the behavior of a Doctype in a HTML document. | |
| <pre id="console"></pre> | |
| </body> | |
| </html> |