".__('Filter Editor').""; print "
"; print " "; print "
"; if (!$filter_search) { print __('No filters defined.'); } else { print __('No matching filters found.'); } print "