Extrahiert die Dateiendung aus einem Dateinamen. Wird der zweite Parameter
$dot
angegeben, so wird der Punkt mit zurückgegeben.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
<?php /** * Extrahiert die Dateiendung aus einem Dateinamen. Wird der zweite Parameter $dot angegeben, so * wird der Punkt mit zurückgegeben. * * @param string $filename [, bool $dot = FALSE] * @return string * @see http://www.php-function.de/funktion/strings/get_file_ending/ */ function get_file_ending($filename, $dot = FALSE){ $info = pathinfo($filename); if($dot) $info["extension"] = ".".$info["extension"]; return $info["extension"]; } ?> |
Schreibe einen Kommentar