Skip to content
Snippets Groups Projects
Select Git revision
  • 0901e976fb3ea091c2563d7a1258e125d8b90406
  • main default protected
2 results

settings.php

Blame
  • settings.php 1.74 KiB
    <?php
    // This file is part of Moodle - http://moodle.org/
    //
    // Moodle is free software: you can redistribute it and/or modify
    // it under the terms of the GNU General Public License as published by
    // the Free Software Foundation, either version 3 of the License, or
    // (at your option) any later version.
    //
    // Moodle is distributed in the hope that it will be useful,
    // but WITHOUT ANY WARRANTY; without even the implied warranty of
    // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    // GNU General Public License for more details.
    //
    // You should have received a copy of the GNU General Public License
    // along with Moodle.  If not, see <http://www.gnu.org/licenses/>.
    
    /**
     * Theme Boost Campus Child - Settings file
     *
     * @package    theme_boost_campus_child
     * @copyright  2017 Kathrin Osswald, Ulm University <kathrin.osswald@uni-ulm.de>
     * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
     */
    
    defined('MOODLE_INTERNAL') || die();
    
    if ($ADMIN->fulltree) {
    
        // Create settings page with tabs.
        $settings = new theme_boost_admin_settingspage_tabs('themesettingboost_campus_child',
            get_string('configtitle', 'theme_boost_campus_child', null, true));
    
        // Create general tab.
        $page = new admin_settingpage('theme_boost_campus_child_general', get_string('generalsettings', 'theme_boost', null, true));
    
        // Settings title to group preset related settings together with a common heading. We don't want a description here.
        $name = 'theme_boost_campus_child/settingsheading';
        $title = get_string('settingsheading', 'theme_boost_campus_child', null, true);
        $setting = new admin_setting_heading($name, $title, null);
        $page->add($setting);
    
        // Add tab to settings page.
        $settings->add($page);
    }