mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 14:27:22 +01:00
40aed04ae1
This also moves any theme settings pages to the themes category instead of "appearance", so they remain where expected, and avoids adding to that section if the theme is hidden (so if there are no custom theme settings, that section will not appear on the page). Co-authored-by: Michael Hawkins <michaelh@moodle.com>