| <html> |
| <head> |
| <title> |
| <!-- </title> --> |
| This text should not be part of the title. |
| </title> |
| <script> |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| |
| window.onload = function () { |
| document.getElementById('console').appendChild(document.createTextNode(document.title)); |
| } |
| </script> |
| </head> |
| <body> |
| <div>The title of this document is:</div> |
| <div id="console"></div> |
| <script> |
| // FIXME: This is only needed because of our flaky whitespace textnode handling. |
| // Once we make our whitespace text node handling deterministic, we can remove this |
| // and rebaseline the test. |
| document.body.offsetHeight; |
| </script> |
| </body> |
| </html> |
