| OLD | NEW |
| 1 <head> | 1 <head> |
| 2 <script src="/redundancyCheck.js" type="text/javascript"></script> | 2 <script src="/redundancyCheck.js" type="text/javascript"></script> |
| 3 <script src="/FilterClasses.jsm" type="text/javascript"></script> | 3 <script src="/FilterClasses.jsm" type="text/javascript"></script> |
| 4 <style type="text/css"> | 4 <style type="text/css"> |
| 5 #strings {display: none;} | 5 #strings {display: none;} |
| 6 .hidden {display: none;} | 6 .hidden {display: none;} |
| 7 </style> | 7 </style> |
| 8 </head> | 8 </head> |
| 9 <div id="strings" reportInvalid="$s1$" reportRedundant="$s2$" reportNothingFound
="$s3$" statusParsing="$s4$" statusTesting="$s5$" statusPrinting="$s6$" statusFi
nished="$s7$"></div> | 9 <div id="strings" reportInvalid="$s1$" reportRedundant="$s2$" reportNothingFound
="$s3$" statusParsing="$s4$" statusTesting="$s5$" statusPrinting="$s6$" statusFi
nished="$s7$"></div> |
| 10 | 10 |
| 11 <p>$s8$ <code>$s9$</code> $s10$ <code>$s11$</code> $s12$</p> | 11 <p>$s8$ <code>$s9$</code> $s10$ <code>$s11$</code> $s12$</p> |
| 12 | 12 |
| 13 <p>$s13$</p> | 13 <p>$s13$</p> |
| 14 | 14 |
| 15 <p>$s14$</p> | 15 <p>$s14$</p> |
| 16 | 16 |
| 17 <p>$s15$</p> | 17 <p>$s15$</p> |
| 18 | 18 |
| 19 <p> | 19 <p> |
| 20 <textarea cols="80" id="filters" rows="20" style="width: 100%; height: 200px;"
></textarea><br> | 20 <textarea cols="80" id="filters" rows="20" style="width: 100%; height: 200px;"
></textarea><br> |
| 21 <button onclick="doCheck()" style="float: right;">$s16$</button> | 21 <button onclick="doCheck()" style="float: right;">$title$</button> |
| 22 </p> | 22 </p> |
| 23 | 23 |
| 24 <p class="hidden">$s17$ <span id="status"></span></p> | 24 <p class="hidden">$s17$ <span id="status"></span></p> |
| 25 | 25 |
| 26 <ul id="report"></ul> | 26 <ul id="report"></ul> |
| 27 | 27 |
| 28 <p class="hidden">$s18$ <a id="resultsLink">$s19$</a> $s20$</p> | 28 <p class="hidden">$s18$ <a id="resultsLink">$s19$</a> $s20$</p> |
| 29 | 29 |
| 30 <pre id="results" style="display:none;"></pre> | 30 <pre id="results" style="display:none;"></pre> |
| OLD | NEW |