Línea 13... |
Línea 13... |
13 |
if ($ADMIN->fulltree) {
|
13 |
if ($ADMIN->fulltree) {
|
Línea 14... |
Línea 14... |
14 |
|
14 |
|
15 |
// Boost provides a nice setting page which splits settings onto separate tabs. We want to use it here.
|
15 |
// Boost provides a nice setting page which splits settings onto separate tabs. We want to use it here.
|
Línea 16... |
Línea -... |
16 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
- |
|
17 |
|
- |
|
18 |
// Include all parent theme settings
|
- |
|
19 |
require('../../universe_child/settings/topbar.php');
|
- |
|
20 |
|
16 |
$settings = new theme_universe_admin_settingspage_tabs('themesettinguniverse_child', get_string('configtitle', 'theme_universe_child'));
|
21 |
|
17 |
|
Línea 22... |
Línea 18... |
22 |
// Each page is a tab - the first is the "General" tab.
|
18 |
// Each page is a tab - the first is the "General" tab.
|
23 |
$page = new admin_settingpage('theme_universe_child_general', get_string('generalsettings', 'theme_universe_child'));
|
19 |
$page = new admin_settingpage('theme_universe_child_general', get_string('generalsettings', 'theme_universe_child'));
|