How can I get the opened filename?

[Anon]

I have to replace the ServerSideInclude last_modified in all my files with a php statement.
I know the filemtime function, but how can I access the name of the opened file in the browser, e.g. "index.php3" from
http://www.myhost.com/index.php3 ?

Or is there another - more elegant - way to get the date of modification of this file?

Thanks for any help!

[daarius]

e.g. if the file is the $file then you can have the name by $file_name;