Problema con array_search()

[misancer]

Quiero encontrar un tag en un fichero HTML, para cambiar el fichero a partir de ese tag. Para ello intento el siguiente código:

Código PHP:

  //Leemos el fichero y lo metemos en un array 
$myfile = 'Articulos.html'; 
$lines = file($myfile);    
 
$pos=array_search('</ol>',$lines,true); 
echo $pos.' :'.$lines[$pos]; 
   

Contra mis pronósticos no me da la posición, ni la primera ni ninguna. ¿Alguien me podría dar alguna idea?

Gracias por adelantado.

[Hidek1]

recuerda que array search busca el elemento completo del array
y file crea un array con cada fila del documento

ej

Código txt:

la casa es azul
el auto es rojo
 

si usas file y array_search()
no podrás encontrar "rojo" o "azul" si no "el auto es rojo" ya que eso esta dentro del array

para lograrlo te recomendaria que uses un bucle y busques con preg_match dentro de cada elemento del array. =)

saludos!

[misancer]

Muchas gracias por la ayuda. Me fue muy util.