| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <body> | 3 <body> |
| 4 <script src="../../fast/js/resources/js-test-pre.js"></script> | 4 <script src="../../fast/js/resources/js-test-pre.js"></script> |
| 5 <script id="script1"> | 5 <script id="script1"> |
| 6 document.addEventListener("DOMCharacterDataModified",function(){ | 6 document.addEventListener("DOMCharacterDataModified",function(){ |
| 7 document.body.innerHTML = "PASS. WebKit didn't crash."; | 7 document.body.innerHTML = "PASS. WebKit didn't crash."; |
| 8 gc(); | 8 gc(); |
| 9 finishJSTest(); | 9 finishJSTest(); |
| 10 },true); | 10 },true); |
| 11 </script> | 11 </script> |
| 12 <script> | 12 <script> |
| 13 window.jsTestIsAsync = true; | 13 window.jsTestIsAsync = true; |
| 14 | 14 |
| 15 if (window.layoutTestController) | 15 if (window.layoutTestController) |
| 16 layoutTestController.waitUntilDone(); | 16 layoutTestController.waitUntilDone(); |
| 17 | 17 |
| 18 var scriptElement = document.getElementById('script1'); | 18 var scriptElement = document.getElementById('script1'); |
| 19 scriptElement.parentNode.appendChild(scriptElement.firstChild); | 19 scriptElement.parentNode.appendChild(scriptElement.firstChild); |
| 20 scriptElement.parentNode.removeChild(scriptElement); | 20 scriptElement.parentNode.removeChild(scriptElement); |
| 21 document.designMode = "on"; | 21 document.designMode = "on"; |
| 22 document.execCommand("SelectAll"); | 22 document.execCommand("SelectAll"); |
| 23 document.execCommand("FontSizeDelta", false, 3); | 23 document.execCommand("FontSizeDelta", false, 3); |
| 24 </script> | 24 </script> |
| 25 <script src="../../fast/js/resources/js-test-post.js"></script> | 25 <script src="../../fast/js/resources/js-test-post.js"></script> |
| 26 </body> | 26 </body> |
| 27 </html> | 27 </html> |
| 28 | 28 |
| OLD | NEW |