-
Richard Mansfield authored
Part of bug #793308 Adds a config.php option which lets users change their theme (for browsing) via a drop-down on the Settings page. The allowed themes are the same set accessible to the user when the viewthemes option is availiable. Any theme which is restricted to one or more institutions in its themeconfig.php file is not available in the drop-down unless the user is a member of one of those institutions. Change-Id: If6a7db9a4c160e16b38d22a074c128777968c4ca Signed-off-by: Richard Mansfield <richard.mansfield@catalyst.net.nz>
e250631d