Cita: EDITO: Una preguntita, si tengo un archivo llamado Fichero.php.php Seguramente terminaria fallandome no? Ya que me lo cortaria?
Pues no, porque aun cuando el archivo se llame Fichero.php.php, la cadena '.php' aun existe en el nombre del fichero.
Código PHP:
if ($posicion === false) {
echo "ERROR!";
No necesariamente tienes que imprimir ERROR, cuando el archivo no es un .php, solamente no imprimes el <option>.