PHP: strip path from filename

Since Google doesn’t seem to know at the moment: there’s basename.