Estimado aqui le coloco una solución a su problema , o eso pienso:
Código php:
Ver original<?php
/**
* Script Function:
* Script Info: -
*/
//-- Este bloque lee linea a linea e incluye en un array todos las lineas
$fichero_txt=fopen('ficherotxt.txt','a+'); if($fichero_txt){
while($linea = fgets($fichero_txt,4096)){ }
}else{
die("Error: El fichero no pudo ser abierto"); }
//
//-- Cuento la cantidad de lineas leidas
$cantidad_lineas=count($lineas);
//-- Compruebo si el valor que deseo insertar esta en el array de lineas fuente si no esta lo grabo al archivo
$i=0;
for($i=0;$i<=$cantidad_lineas;$i++){
fwrite($fichero_txt,$fichero_txt[$i]."\r\n",strlen($fichero_txt[$i])); }
fwrite($fichero_txt,$_GET['lineas']."\r\n",strlen($_GET['lineas'])); }
//
//-- Cierro el fichero
?>
Una sola cosa tiene defectuosa , no imprime una linea debajo de otra sino todo en una linea pero a los fines didacticos es util y funciona perfecto.
Saludos!