Ricerca

[dottwatson]

<?php
// per trovare martedì nel file
$file=file_get_contents('list.txt');
if (strpos($line,'martedi') !== false) echo "trovato!";

//per trovare martedì e sapere in che riga
$file=file('list.txt')
foreach($file as $key=>$line)
  {
  if (strpos($line,'martedi') !== false) echo "trovato nella riga $key";
  }
?>