Minor change for later verson of php requiring $HTTP_GET_VARS. * doc/search.php: Minor change for later verson of php requiring $HTTP_GET_VARS.
2004-03-10T11:43:12