| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 | 2 |
| 3 <head> | 3 <head> |
| 4 <meta http-equiv="content-type" content="text/html; charset=UTF-8"> | 4 <meta http-equiv="content-type" content="text/html; charset=UTF-8"> |
| 5 <title>Installed Plug-ins</title> | 5 <title>Installed Plugins</title> |
| 6 <style type="text/css"> | 6 <style type="text/css"> |
| 7 body { color: #555; } | 7 body { color: #555; } |
| 8 div#margins { margin: 5%; } | 8 div#margins { margin: 5%; } |
| 9 | 9 |
| 10 div.plugin-name { | 10 div.plugin-name { |
| 11 margin-top: 2em; | 11 margin-top: 2em; |
| 12 margin-bottom: 1en; | 12 margin-bottom: 1en; |
| 13 font-size: large; | 13 font-size: large; |
| 14 font-weight: bold; | 14 font-weight: bold; |
| 15 color: black; | 15 color: black; |
| (...skipping 28 matching lines...) Expand all Loading... |
| 44 | 44 |
| 45 <body> | 45 <body> |
| 46 <div id="margins"> | 46 <div id="margins"> |
| 47 <script type="application/x-javascript"> | 47 <script type="application/x-javascript"> |
| 48 | 48 |
| 49 if (window.testRunner) | 49 if (window.testRunner) |
| 50 testRunner.dumpAsText(); | 50 testRunner.dumpAsText(); |
| 51 | 51 |
| 52 // Localizers: Translate the title above, and these six strings,
and leave the rest of the file intact. | 52 // Localizers: Translate the title above, and these six strings,
and leave the rest of the file intact. |
| 53 | 53 |
| 54 var InstalledPlugIns = "Installed Plug-ins"; | 54 var InstalledPlugIns = "Installed Plugins"; |
| 55 var BetweenDescriptionAndFilename = " — from file “"
; | 55 var BetweenDescriptionAndFilename = " — from file “"
; |
| 56 var AfterFilename = "”."; | 56 var AfterFilename = "”."; |
| 57 var MIMETypeColumnHeader = "MIME Type"; | 57 var MIMETypeColumnHeader = "MIME Type"; |
| 58 var DescriptionColumnHeader = "Description"; | 58 var DescriptionColumnHeader = "Description"; |
| 59 var ExtensionsColumnHeader = "Extensions"; | 59 var ExtensionsColumnHeader = "Extensions"; |
| 60 | 60 |
| 61 // Now the code. | 61 // Now the code. |
| 62 | 62 |
| 63 navigator.plugins.refresh(false); // Supposedly helps if new plu
g-ins were added. | 63 navigator.plugins.refresh(false); // Supposedly helps if new plu
gins were added. |
| 64 | 64 |
| 65 var plugin = new Array(); | 65 var plugin = new Array(); |
| 66 plugin.name = "testname"; | 66 plugin.name = "testname"; |
| 67 plugin.description = "testdescription"; | 67 plugin.description = "testdescription"; |
| 68 plugin.filename = "testfilename"; | 68 plugin.filename = "testfilename"; |
| 69 if (navigator.plugins.length > 0) // should catch navigator.plug
ins being undefined | 69 if (navigator.plugins.length > 0) // should catch navigator.plug
ins being undefined |
| 70 plugin[0] = { type: "testtype", description: "testdescripti
on", suffixes: "testsuffixes" }; | 70 plugin[0] = { type: "testtype", description: "testdescripti
on", suffixes: "testsuffixes" }; |
| 71 | 71 |
| 72 document.writeln("<div class=\"plugin-name\">" + plugin.name + "
<\/div>"); | 72 document.writeln("<div class=\"plugin-name\">" + plugin.name + "
<\/div>"); |
| 73 | 73 |
| (...skipping 18 matching lines...) Expand all Loading... |
| 92 | 92 |
| 93 document.writeln("<\/tbody>"); | 93 document.writeln("<\/tbody>"); |
| 94 | 94 |
| 95 document.writeln("<\/table>"); | 95 document.writeln("<\/table>"); |
| 96 | 96 |
| 97 </script> | 97 </script> |
| 98 </div> | 98 </div> |
| 99 </body> | 99 </body> |
| 100 | 100 |
| 101 </html> | 101 </html> |
| OLD | NEW |