Lendo uma linha específica de um arquivo de texto [duplicado]
Possível duplicado:
Obtendo uma linha em um arquivo enorme com PHP
Eu tenho um texto de arquivo com algo como 200 linhas e quero ler uma linha específica desse arquivo de texto. como eu posso fazer isso?
Obrigado.