Línea 16... |
Línea 16... |
16 |
if ($ADMIN->fulltree) {
|
16 |
if ($ADMIN->fulltree) {
|
Línea 17... |
Línea 17... |
17 |
|
17 |
|
18 |
// Boost provides a nice setting page which splits settings onto separate tabs. We want to use it here.
|
18 |
// Boost provides a nice setting page which splits settings onto separate tabs. We want to use it here.
|
Línea 19... |
Línea -... |
19 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
- |
|
20 |
|
- |
|
21 |
// Include inherited settings
|
- |
|
22 |
require_once(__DIR__ . '/settings/inherit_settings.php');
|
19 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
23 |
|
20 |
|
Línea 24... |
Línea 21... |
24 |
// Child theme specific settings
|
21 |
// Child theme specific settings
|
25 |
$page = new admin_settingpage('theme_universe_child_specific', get_string('childthemesettings', 'theme_universe_child'));
|
22 |
$page = new admin_settingpage('theme_universe_child_specific', get_string('childthemesettings', 'theme_universe_child'));
|