[SOLUCIONADO] ¿Como saber el nombre del fichero que hace un include?

[Loboblanco2]

Hola

He estado utilizando __FILE__ para saber el nombre del fichero que se está ejecutando.

Luego al modular mi pequeño programa y poner esa y otras funciones en un fichero libreria.php tengo un problema que no sé resolver.

Como __FILE__ si se usa dentro de un include, devolverá el nombre del fichero del include (del manual php)

Con lo que el nombre de fichero que me devuelve es libreria.php

Lo que estoy haciendo es mas o menos

progr1.php

Código PHP:

  include("libreria.php"); 
   

libreria.php

Código PHP:

  function Extraer_nombre_fichero()
{
...
} 
   

¿Hay alguna forma de conocer el fichero que tiene el include?
En mi caso que me devolviera prog1.php

Creo haber leido algo, pero buscando información no lo encuentro.

Muchas gracias

[pateketrueke]

Puedes usar get_included_files() para ver la lista de archivos que se han incluido hasta dicho punto, de igual forma con $_SERVER['PHP_SELF'] puedes saber que script es el que inició toda la carga, etc.

[Loboblanco2]

Muchas gracias, lo probaré

[Loboblanco2]

Genial, me devuelve el fichero que ha hecho el include estupendamente

Muchas gracias de nuevo, pateketrueke