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.
3 files changed