Este código no serviría en el caso de archivos con nombres como:
iniciar.sesion.php
Aquí el nombre de archivo buscado sería
iniciar.sesion
mientras que el código lo que obtiene es
iniciar
La función que menciona
dec (que creo que se llama ChangeFileExt) ya toma en cuenta este tipo de nombres.
Agrego:
Veo que se me adelantó
dec. Pues eso mismo queria decir aunque lo dije mucho más largo.
// Saludos