File indexing completed on 2024-04-28 15:28:39
0001 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> 0002 <html> 0003 <!-- This file allows to run a javascript test in another browser. 0004 Simply change the script inclusion at the end of the file --> 0005 <script src="shell.js"></script> 0006 <script> 0007 function testPassed(msg) 0008 { 0009 document.write("<b><font color=green>PASS</font></b> " + msg + "<br>"); 0010 } 0011 0012 function testFailed(msg) 0013 { 0014 document.write("<b><font color=red>FAIL</font></b> " + msg + "<br>"); 0015 } 0016 0017 function debug(a) { document.write("<p> " + a + "</p>"); } 0018 </script> 0019 0020 <script src="RegExp.js"></script> 0021 0022 </html>