Mit file() kann man eine komplette Datei (filename) zeilenweise in ein Array einlesen. Das Zeilenumbruchzeichen am Ende jeder Zeile wird als letztes Zeichen in das entsprechende Array-Element übernommen.
Wird der optionale Parameter (use_include_path) auf 1 gesetzt, so wird auch innerhalb des Include-Pfads (wird in der php.ini bestimmt) nach der Datei gesucht.