mirror of
https://github.com/moodle/moodle.git
synced 2025-03-31 05:52:51 +02:00
This reduces the amount of code to an already confusing logout.php file and prevents conflicts if someone else happens to be using the same function name in a file.