PHP - Editar lineas de un archivo TXT

Hola tengo una problema relacionado a la edición de un archivo TXT desde PHP. Pero no se si se puede.
La Idea es la siguiente: Tengo un archivo llamado lista.txt el cual contiene 1200 renglones de la siguiente manera..(no voy a anotar todos solo agregare la muestra )

1 HERNÁNDEZ HERNÁNDEZ HERLINDA 993750
2 SÁNCHEZ ACOSTA ROBERTO RAFAEL 971500
...
10 ARROYO CABAÑAS VICTORIA 818750
....
100 CORDOBA HERNÁNDEZ AURELIA GPE 674000
...
1000 MONTES CASTILLO BLANCA RAFAELA 672000
...
1200 MERCADO PEREZ SUSANA ROSARIO 698250

Se se tiene que agregar Id="", nombre="", matricula=""; y dentro de las comillas los datos del archivo txt. La idea es modificar el txt para que cada linea sea editada, una por una para que termine saliendo un nuevo txt con de la siguiente manera .

Id="1", nombre="HERNÁNDEZ HERNÁNDEZ HERLINDA", matricula="993750" ;
Id="2", nombre="SÁNCHEZ ACOSTA ROBERTO RAFAEL", matricula="971500";
...

Alguien me puede ayudar o asesorar como se hace esto con php. O necesito hacerlo con otro programa

Hola, este código hace exactamente lo que deseas...

El archivo lista.txt, tiene el contenido como tu has indicado. y tiene que estar en la misma carpeta.

Coméntanos si te sirve, ok?

Hola quedo esta perfecto, solo no encuentra los números de la matricula veré que puedo hacer para que se visualicen. Mil gracias.

Yo lo probé creando un archivo con el contenido que tu me indicaste, y me funciono a la perfección...