mirror of
https://github.com/moodle/moodle.git
synced 2025-01-17 21:49:15 +01:00
af164ce9c7
One of the resource settings, the file type, has been moved to the activity badge near the activity name. The rest of the information will be displayed using the afterlink feature. However, for now, the activity page still displays all the information together (that's why resource_get_optional_details() supports now one new parameter, $showtype, to define whether the file type should be displayed or not).