Nombre de un fichero sin la extensión

[leoperez]

Existe alguna función en PHP para obtener del nombre de un archivo completo el mismo pero sin la extensión?

Gracias.

[Quest]

Código PHP:

  <?php
$archivo = "archivo.ext";
$arr = explode(".", $archivo);
$file = substr($archivo, 0, count($arr[0]));

echo $file;
?>   

saludos.

[jam1138]

... y no basta con imprimir $arr[0]??:

Código PHP:

  <?php
$archivo = "archivo.ext";
$arr = explode(".", $archivo);
echo $arr[0];
?>   

Digo!.