Ti consiglio l'uso della buona vecchia glob().
Una volta che sai il nome del file puoi analizzare la stringa. Nel caso specifico farei:Codice PHP:
$filename = glob('versione *');
...
Per qualcosa di più complesso puoi usare le espressioni regolari.Codice PHP:
list($major, $minor, $micro) = explode('.', substr($filename, 9));