dann sollteste die zu suchende Dateien mit file() + implode() in einen String laden, alle HTML-Tags mit strip_tags() löschen und dann mit preg_match() oder mit strstr() (bei strstr siehe User Notes). Ggf muss du die Eingabe vom User und den String mit dem Inhalt der Datei mit strtolower() kleinschreiben lassen.
http://de.php.net/file
http://de.php.net/implode
http://de.php.net/strip_tags
http://de.php.net/preg_match (eher für Profis)
http://de.php.net/strstr (user notes lesen)
http://de.php.net/strtolower