<?php

$lang['filtertitle']='Filter';
$lang['filtertext']='Refine the results of the current search';
$lang['filterbutton']='Filter';
$lang['filterbox_configuration']="Filterbox configuration";
$lang['filterbox_wildcard']="Perform wildcard matching for any filter text?";

?>
