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