mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 06:18:28 +01:00
8a6f2291f2
The patch highlights the undelete radio selector at the host edit form. It moves it to the end of the form (near the submit button) and displays an explanation above the radio selector. Also, the list of deleted hosts is now displayed below the table of active peers at the Manage peers page. The data returned by mnet_get_hosts() function now contain the deleted status, too. It is possible to obtain deleted hosts from that function now.