[php] Filename und Extention trennen

[Mark Kronsbein]

Hallo,

wie kann ich einen Dateinamen in Namen und Endung auftrennen?

ich habe z. B. den referer /file.php3 und will einen Link auf
/file.html 
legen, da sich meine Dateiendungen geändert haben.
Den referer auslesen ist kein Problem, aber wie kann ich die Endung
auslesen und ändern?

Mark

-- 
German Gabber Network
http://www.gabber.de
Using PHP & MySQL? Check MyGuestbook _(at)_
http://www.html-design.com/MyGuestbook/