mirror of
https://github.com/moodle/moodle.git
synced 2025-08-10 03:16:42 +02:00
![]() 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(). |
||
---|---|---|
.. | ||
db | ||
backuplib.php | ||
details.php | ||
download.php | ||
graph.php | ||
icon.gif | ||
icon2.gif | ||
index.php | ||
lib.php | ||
mod.html | ||
report.php | ||
restorelib.php | ||
save.php | ||
version.php | ||
view.php |