1 2 3 4 |
function getFileEnding($file) { $pathinfo = pathinfo($file); return $pathinfo['extension']; } |
PHP: Dateiendung ermitteln
02.09.2020 15:32
1 2 3 4 |
function getFileEnding($file) { $pathinfo = pathinfo($file); return $pathinfo['extension']; } |
Schreibe einen Kommentar