third_party/WebKit/LayoutTests/fast/parser/duplicate-html-body-element-IDs.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   2 <html>
   3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" id="html">
   4 <body>
   5 <body id="body">
   6 <script type="text/javascript">
   7 if (window.testRunner)
   8     testRunner.dumpAsText();
   9 if (document.getElementById("html") == document.documentElement)
  10     document.write("<p>Hooray, it worked! Since getElementById found the HTML element, its ID presumably was added to the ID map correctly.</p>");
  11 if (document.getElementById("body").parentNode == document.documentElement)
  12     document.write("<p>Hooray, it worked! Since getElementById found the body element, its ID presumably was added to the ID map correctly.</p>");
  13 </script>
  14 </body>
  15 </html>