Leon Stringer de059dbfe0 MDL-77185 session: Fix undefined disk_free_space ...

Fix PHP fatal error "Call to undefined function
core\session\disk_free_space()" when disable_functions=disk_free_space.
Prior to PHP 8.0 this error was suppressed by '@'.

Co-authored-by: Federico Alvarez <32086536+fedealvz@users.noreply.github.com>

2024-12-31 15:34:42 +00:00

..

utility

…

database.php

…

exception.php

…

external.php

…

file.php

…

handler.php

…

manager.php

…

memcached.php

…

redis.php

…