4 <meta http-equiv=
"content-type" content=
"text/html; charset=UTF-8">
5 <title>Installed Plugins
</title>
6 <style type=
"text/css">
8 div#margins
{ margin: 5%; }
19 background-color: #F5F5F5;
23 border: 1px solid
#222;
30 background-color: #CCC;
33 th
+ th
, td
+ td
{ border-left: 1px solid
#AAA; }
34 td
{ border-top: 1px solid
#AAA; }
35 th
, td
{ padding: 3px; }
37 td
.extensions
{ text-align: center
; }
39 th
.MIME-type
{ width: 30%; }
40 th
.description
{ width: 50%; }
41 th
.extensions
{ width: 20%; }
47 <script type=
"application/x-javascript">
49 if (window.testRunner)
50 testRunner.dumpAsText();
52 // Localizers: Translate the title above, and these six strings, and leave the rest of the file intact.
54 var InstalledPlugIns =
"Installed Plugins";
55 var BetweenDescriptionAndFilename =
" — from file “";
56 var AfterFilename =
"”.";
57 var MIMETypeColumnHeader =
"MIME Type";
58 var DescriptionColumnHeader =
"Description";
59 var ExtensionsColumnHeader =
"Extensions";
63 navigator.plugins.refresh(false); // Supposedly helps if new plugins were added.
65 var plugin = new Array();
66 plugin.name =
"testname";
67 plugin.description =
"testdescription";
68 plugin.filename =
"testfilename";
69 if (navigator.plugins.length
> 0) // should catch navigator.plugins being undefined
70 plugin[
0] = { type:
"testtype", description:
"testdescription", suffixes:
"testsuffixes" };
72 document.writeln(
"<div class=\"plugin-name\
">" + plugin.name +
"<\/div>");
74 document.writeln(
"<blockquote>" + plugin.description + BetweenDescriptionAndFilename + plugin.filename + AfterFilename +
"<\/blockquote>");
76 document.writeln(
"<table class=\"types-table\
">");
78 document.writeln(
"<thead><tr>");
79 document.writeln(
"<th class=\"MIME-type\
">" + MIMETypeColumnHeader +
"<\/th>");
80 document.writeln(
"<th class=\"description\
">" + DescriptionColumnHeader +
"<\/th>");
81 document.writeln(
"<th class=\"extensions\
">" + ExtensionsColumnHeader +
"<\/th>");
82 document.writeln(
"<\/tr><\/thead>");
84 document.writeln(
"<tbody>");
85 for (var mi =
0; mi != plugin.length; ++mi) {
86 document.writeln(
"<tr>");
87 document.writeln(
"<td class=\"MIME-type\
">" + plugin[mi].type +
"<\/td>");
88 document.writeln(
"<td class=\"description\
">" + plugin[mi].description +
"<\/td>");
89 document.writeln(
"<td class=\"extensions\
">" + plugin[mi].suffixes +
"<\/td>");
90 document.writeln(
"<\/tr>");
93 document.writeln(
"<\/tbody>");
95 document.writeln(
"<\/table>");