releases/HEADER.html

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   4 <html xmlns="http://www.w3.org/1999/xhtml">
   5 <head>
   6 <title>HTML Purifier releases</title>
   7 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
   8 </head>
   9 <body>
  10
  11 <!-- Note to the pedants: this page isn't served as application/xml+xhtml because
  12 Apache mod_autoindex doesn't support it. This page *does* validate, however. -->
  13
  14 <h1>HTML Purifier releases</h1>
  15
  16 <p>
  17     This directory contains all prior releases of HTML Purifier. Except for
  18     the main release branches, these are deprecated and unsupported, and
  19     should be used at your own risk. <code>.sig</code> files contain
  20     GnuPG cryptographic signatures for the archives.
  21 </p>
  22
  23 <form action="" method="get" id="index-filter">
  24 Show me a <select name="F">
  25 <option value="0" selected="selected"> Plain list</option>
  26 <option value="1"> Fancy list</option>
  27 <option value="2"> Table list</option>
  28 </select>
  29 Sorted by <select name="C">
  30 <option value="N" selected="selected"> Name</option>
  31 <option value="M"> Date Modified</option>
  32 <option value="S"> Size</option>
  33 <option value="D"> Description</option>
  34 </select>
  35 <select name="O">
  36 <option value="A"> Ascending</option>
  37 <option value="D" selected="selected"> Descending</option>
  38 </select>
  39 <select name="V">
  40 <option value="0"> in Normal order</option>
  41 <option value="1" selected="selected"> in Version order</option>
  42 </select>
  43 Matching <input type="text" name="P" value="*" />
  44 <input type="submit" name="X" value="Go" />
  45 [<a href="">Reset</a>]
  46 <script type="text/javascript">
  47 //<![CDATA[
  48     // Load currently loaded options to the form
  49     var params = window.location.search.substr(1).split(/&/);
  50     var elements = document.getElementById('index-filter').elements;
  51     for (var i = 0; i < params.length; i++) {
  52         var keypair = params[i].split(/=/);
  53         elements[keypair[0]].value = keypair[1];
  54     }
  55 //]]>
  56 </script>
  57 </form>