mirror of
https://github.com/moodle/moodle.git
synced 2025-08-06 17:36:38 +02:00
![]() * renamed Preferences to "My report preferences" * renamed Site defaults to "Report defaults" * rename Change site defaults to "Change report defaults" * reintroduced Inherit option to Grader preferences - Nicolas was right, it is not possible to implement preference overrides without it with our current get_pref inplementation * new separate option in plugin selector "Course settings" * moved displaytype, decimals and aggregation position to "Course settings" * created new table grade_settings + related functions grade_get/set_preference() * user report now uses grade_seq class instead of grade_item::fetch_all(); added preloading of grade items into grade_grade instances * other minor bugfixing/cleanup/improvements Please note that the Grader report preferences and its defaults must be resaved again - sorry. |
||
---|---|---|
.. | ||
grader | ||
outcomes | ||
overview | ||
user | ||
index.php | ||
lib.php |