Keskustelu: Nettisivujen teko: Php: tekstin hajoitus

Minulla on teksti, esim. documents.php?file=documents/file1.txt, onko php:ssä mitään valmista functiota, millä saisin otettua tuolla esimerkiksi viimeisen /-merkin jälkeisen osan muuttujaan?
Nyt minulla on käytössä tälläinen koodi siihen:

$fileOriginal = $_POST['file']; //Vastaanotetaan tiedostopolku.
$files = explode("/", $fileOriginal);
//Hajotetaan saatu tiedostopolku /-merkin kohdalta(tiedoston nimi).
$file = $files[count($files)-1];
//Otetaan viimeinen osa polusta /-merkin jälkeen, sillä se on tiedoston nimi.

Toki tämäkin toimii, mutta olisi nätimpi, jos se olisi yksi funktio vaan. Toki pystyn tekeen tuosta nopeasti funktion, mutta miksipä ruveta keksimään pyörää uudelleen, jos se on jo keksitty.
(Taas näitä puoli tyhmiä kysymyksiä, olkoot.)

On, basename. Löytyy muuten Googlella hakusanalla PHP filename. Kannattaa opetella etsimään.