search.php File Reference

Go to the source code of this file.

Variables
	$search_gui = new ilSearchGUI($_SESSION["AccountId"])

---

Variable Documentation

$search_gui = new ilSearchGUI($_SESSION["AccountId"])

Definition at line 28 of file search.php.