Oppure, cosa molto poco elegante:
Ti fai un ciclo su tutti i file della directory e fai il confronto uno per uno con $rif.
Ps: Tieni presente però non potresti distinguere file "simili", del tipo Mi250250.txt e mI250250.txtCodice PHP:
$found = "";
// Molto pseudocodice :-)
foreach($files_nella_directory as $file){
if(strtolower($rif) == strtolower(nome_senza_ext($file))
$found = $file;
}
if($found){
// Apri il file
}else{
// Non trovato
}
Ps2: Ma no puoi fare in modo di avere i nome dei file txt solo in minuscolo/maiuscolo?