MDL-35597 admin-plugins: are now sorted alphabetically

diff --git a/admin/settings/plugins.php b/admin/settings/plugins.php
index 283d02a..b7a3fe9 100644 (file)
--- a/admin/settings/plugins.php
+++ b/admin/settings/plugins.php
@@ -25,6 +25,9 @@
 */
 
 if ($hassiteconfig) {
+    /* @var admin_root $ADMIN */
+    $ADMIN->locate('modules')->set_sorting(true);
+
     $ADMIN->add('modules', new admin_page_pluginsoverview());
 
     // activity modules