| <head> | |
| <script src="../../resources/js-test-pre.js"></script> | |
| <script> | |
| var img; | |
| var pre; | |
| var basefont; | |
| function test() { | |
| if (window.testRunner) | |
| testRunner.dumpAsText(); | |
| img = document.createElement('img'); | |
| shouldBe("typeof img.border", "'string'"); | |
| pre = document.createElement('pre'); | |
| shouldBe("typeof pre.width", "'number'"); | |
| } | |
| </script> | |
| </head> | |
| <body onload="test()"> | |
| This checks the types of some HTML DOM attributes whose types currently clash with our implementation. | |
| <div id="console"></div> | |
| </body> | |