ho cercato su w3school, e da quanto ho capito con:
Codice PHP:
<option value="<?php ($file);?>"
non fai nulla, cioè almeno servirebbe un echo e comunque non so se ti restituisce il nome, quindi devi usare qeusta funzione:
Codice PHP:
basename($file
ovviamente con un echo, però non ti ritorna l'estensione quindi nel value devi aggiungerla in questo modo:
Codice PHP:
basename($file,".css"