Call to undefined function disk_total_space()

[devnull4242]

Hi,
on some systems i get the following error. Perhaps you can change the software that users on restricted web hosting platforms without this function do not get the error.

Fatal error: Uncaught Error: Call to undefined function disk_total_space() in /path/to/www/phpfm/test.php:3164 Stack trace: #0 /path/to/www/phpfm/test.php(5541): dir_list_form() #1 /path/to/www/phpfm/test.php(641): frame3() #2 {main} thrown in /path/to/www/phpfm/test.php on line 3164

I change it this way:

old:
<span>".et('Partition')." = ".format_size(disk_total_space($fm_current_dir))." / ".format_size(disk_free_space($fm_current_dir))." ".et('Free')."</span>";
new:
<span></span>