mirror of
https://github.com/moodle/moodle.git
synced 2025-03-14 04:30:15 +01:00
Use this script if something just set the user.deleted flag instead of calling the delete_user() method.
Use this script if something just set the user.deleted flag instead of calling the delete_user() method.