Name trennen

Dieses Script gibt aus, wie gross die angegebene Datei ist

Script:

<?php    function name_of_file($file){       $len=strlen(strrchr($file,"."));       $ganz=strlen($file);       $filename=substr($file,0,$ganz-$len);       return $filename;    }    echo name_of_file($_SERVER['PHP_SELF']); ?>