Línea 14... |
Línea 14... |
14 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
14 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
15 |
require(__DIR__ . '/settings/topbar.php');
|
15 |
require(__DIR__ . '/settings/topbar.php');
|
Línea 16... |
Línea 16... |
16 |
|
16 |
|
17 |
// Each page is a tab - the first is the "General" tab.
|
17 |
// Each page is a tab - the first is the "General" tab.
|
- |
|
18 |
$page = new admin_settingpage('theme_universe_child_general', get_string('generalsettings', 'theme_universe_child'));
|
Línea 18... |
Línea 19... |
18 |
$page = new admin_settingpage('theme_universe_child_general', get_string('generalsettings', 'theme_universe_child'));
|
19 |
$page = new admin_settingpage('theme_universe_child_settingstopbar', get_string('settingstopbar', 'theme_universe_child'));
|
19 |
|
20 |
|
20 |
// Replicate the preset setting from boost.
|
21 |
// Replicate the preset setting from boost.
|
21 |
$name = 'theme_universe_child/preset';
|
22 |
$name = 'theme_universe_child/preset';
|