nome file senza estensione

[koreano]

Ciao ragazzi volevo sapere una cosa facile facile.
Allora ho fatto un codice che legge il contenuto di una cartella ed inserisce i nomi dei files presenti in quella cartella in un array.
ora la domanda è la seguente: è possibile evitare la visualizzazione dell'estensione del file e quindi immagazzinare solo in nome? tipo FILE invece che FILE.TXT?

ecco il codice:

<form name="form1"  class="articoli">
                  <select name="articoli" onchange="MM_jumpMenu('parent',this,1)">
                    <option > </option>
<?php 
                        error_reporting(E_ALL);
                        
                        $dir = 'nomeCartella/';
                        
                        $dircart = opendir($dir);
                        
                        while($file = readdir($dircart)) {
                        $a[] = $file;
                        sort($a, SORT_STRING);
                        }
                        
                        
                        for ($i = 2; $i < count($a);  $i++) {
                        echo "<option value=\"nomeCartella/".$a[$i]."\" title=\"".$a[$i]."\">".$a[$i]."</option>\n";
                        }
                    ?>
    </select>
</form>