[AYUDA] Extraer texto de un fichero de texto

[JUANKIDJ]

Buenas, he estado intentando sin éxito extrar una porción de texto (varias líneas del archivo). Pongo un ejrmplo:

Dado el siguiente archivo.txt con el contenido:

Código:

linea de texto 1
linea de texto 2
linea de texto 3
linea de texto 4
linea de texto 5
linea de texto 6
linea de texto 7
linea de texto 8
linea de texto 9
linea de texto 10

¿Como lo haría (en php) para extraer (copiar en otro archivo) por ejemplo, el texto?:

Código:

linea de texto 3
linea de texto 4
linea de texto 5

He intentado con varias funciones pero no condigo dar con la solución..

¿a alguien se le ocurre como hacerlo?

Gracias de antemano!

[Adler]

Hola, bienvenido al foro

Alguna de estas dos funciones te puede servir

stream_get_line
fgets

Suerte