mirror of
https://github.com/moodle/moodle.git
synced 2025-08-05 08:56:36 +02:00
7c08ef3653
Not sure if the hotpot module is converting ampersands correctly. $heading and $title are set up differently than in other modules: instead of outputting $course->title, a temporary $title variable is created and assigned that value. That made it difficult for me to decide whether it was already formatted elsewhere or not. Also I didn't format_string() any of the variables included in $navigation rings, because I assume these strings get processed by print_navigation(), which includes format_string(). |
||
|---|---|---|
| .. | ||
| addgroupstogrouping-form.html | ||
| addgroupstogrouping-form.js | ||
| addgroupstogrouping-xml.php | ||
| addmembers-form.html | ||
| addmembers-form.js | ||
| addmembers-xml.php | ||
| ajax.js | ||
| connection.js | ||
| createautomaticgrouping-form.html | ||
| createautomaticgrouping-form.js | ||
| createautomaticgrouping-xml.php | ||
| creategroup-form.html | ||
| creategroup-form.js | ||
| creategroup-xml.php | ||
| creategrouping-form.html | ||
| creategrouping-form.js | ||
| creategrouping-xml.php | ||
| deletegroup-xml.php | ||
| deletegroup.js | ||
| deletegrouping-xml.php | ||
| deletegrouping.js | ||
| editgroupingpermissions-form.html | ||
| editgroupingpermissions-form.js | ||
| editgroupingpermissions-xml.php | ||
| editgroupingsettings-form.html | ||
| editgroupingsettings-form.js | ||
| editgroupingsettings-xml.php | ||
| editgroupsettings-form.html | ||
| editgroupsettings-form.js | ||
| editgroupsettings-xml.php | ||
| form.css | ||
| form.html | ||
| getgroupingpermissions-xml.php | ||
| getgroupings-xml.php | ||
| getgroupingsettings-xml.php | ||
| getgroupsettings-xml.php | ||
| getgroupsingrouping-xml.php | ||
| getgroupsnotingrouping-xml.php | ||
| getmembers-xml.php | ||
| getnonmembers-xml.php | ||
| index.php | ||
| main-buttons-form.js | ||
| main-form.html | ||
| main-init-form.js | ||
| main-selects-form.js | ||
| printgrouping.php | ||
| removegroupfromgrouping-xml.php | ||
| removegroupfromgrouping.js | ||
| removemembers-xml.php | ||
| removemembers.js | ||
| util-form.js | ||
| yahoo.js | ||