| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <head> | 2 <head> |
| 3 <script src="../../../http/tests/inspector/inspector-test.js"></script> | 3 <script src="../../../http/tests/inspector/inspector-test.js"></script> |
| 4 <script src="../../../http/tests/inspector/debugger-test.js"></script> | 4 <script src="../../../http/tests/inspector/debugger-test.js"></script> |
| 5 <script src="../../../http/tests/inspector/workspace-test.js"></script> | |
| 6 <script src="../../../http/tests/inspector/isolated-filesystem-test.js"></script
> | 5 <script src="../../../http/tests/inspector/isolated-filesystem-test.js"></script
> |
| 7 <script src="../../../http/tests/inspector/live-edit-test.js"></script> | 6 <script src="../../../http/tests/inspector/live-edit-test.js"></script> |
| 8 <script> | 7 <script> |
| 9 function addScript() | 8 function addScript() |
| 10 { | 9 { |
| 11 var script = document.createElement("script"); | 10 var script = document.createElement("script"); |
| 12 script.src = "resources/edit-me.js"; | 11 script.src = "resources/edit-me.js"; |
| 13 document.head.appendChild(script); | 12 document.head.appendChild(script); |
| 14 } | 13 } |
| 15 | 14 |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 55 } | 54 } |
| 56 } | 55 } |
| 57 ]); | 56 ]); |
| 58 }; | 57 }; |
| 59 </script> | 58 </script> |
| 60 </head> | 59 </head> |
| 61 <body onload="runTest()"> | 60 <body onload="runTest()"> |
| 62 <p>Tests file system project mappings in combination with live edit.</p> | 61 <p>Tests file system project mappings in combination with live edit.</p> |
| 63 </body> | 62 </body> |
| 64 </html> | 63 </html> |
| OLD | NEW |