file_get_contents() ist kürzer.

Es macht genau das was du willst, während du bei file() noch selbst mit implode() arbeiten musst...


Grüße & frohe Weihnachten,
CC