mirror of
https://github.com/moodle/moodle.git
synced 2025-01-18 22:08:20 +01:00
31f4086460
Fixed 5 Moodle pages that does not display the course short name even if "Display extended course names" setting is on. In fixing this, search.php also included related minor code to change to minimise DB calls to improve performance.