From a5d6777deb990ae59b928fbdca2038cbab0d9ca2 Mon Sep 17 00:00:00 2001 From: Nicolas Alexandropoulos Date: Wed, 30 Oct 2024 15:07:30 +0100 Subject: [PATCH 1/3] Improve groups tooltip on plugin settings --- mod_form.php | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/mod_form.php b/mod_form.php index 0a1b55c..491b965 100644 --- a/mod_form.php +++ b/mod_form.php @@ -151,15 +151,8 @@ public function definition() { $mform->addElement('header', 'groups', get_string('groupsheader', 'choicegroup')); $mform->addElement('html', '