2
// Author: Sebastian Voecking <sebastian.voecking@uni-muenster.de>
4
$filter_title = _("Filter");
9
filter = new FILTER("katrin_filter_div");
16
<h4>Filter by parameters</h4>
17
<form name="form" onsubmit="return false">
18
<input name="filter" type="text" size="30" />
19
<input type="submit" value="Apply" onclick="katrin.SetCustomProperties('filter=' + encodeURIComponent(document.form.filter.value))"/>
22
<h4>Filter by date</h4>
23
<div id="katrin_filter_div"></div>
b'\\ No newline at end of file'