FOF30\Platform\Base\Filesystem::stripExt PHP Method

Strips the last extension off of a file name

public stripExt ( string $file ) : string
$file	string	The file name
return	string	The file name without the extension

    public function stripExt($file)
    {
        return preg_replace('#\\.[^.]*$#', '', $file);
    }

Filesystem