ну все-таки чтобы только подсчитать кол-во строк достаточно использовать fgetc(). тем более врядли получится использовать file() для очень больших файлов.