Trataste el ejemplo, porque exactamente eso es lo que hace, solo que en vez de usar una variable que sea por post o get. Ejemplo
Código PHP:
Ver original<?php
if(!empty($_GET['search'])){ $file = file("info.txt"); foreach($file as $val){
if($_GET['search'] == $val){
$line = $val . '<br />' . current($file); break;
}
}
}
echo 'Lo encontré: '. (empty($line) ?
'' : $line);
En la dirección escribe por ejemplo
http://localhost/index.php?search=user3