search_results.inc File Reference

Go to the source code of this file.

Variables
	$text = $_GET["text"]
	$mgr = new SearchManager()
$mgr	useFacetFilter = true

Variable Documentation

$mgr

$mgr = new SearchManager()

Definition at line 6 of file search_results.inc.

$text

$text = $_GET["text"]

Definition at line 4 of file search_results.inc.

useFacetFilter

$mgr useFacetFilter = true

Definition at line 7 of file search_results.inc.