mirror of
https://github.com/moodle/moodle.git
synced 2025-04-24 01:44:27 +02:00
Also, ensure that remove_dir() only processes directories, because sometimes it was being called by shutdown managers with files, leading to PHP warnings. Co-authored-by: Eloy Lafuente (stronk7) <stronk7@moodle.org> Co-authored-by: Jun Pataleta <jun@moodle.com>