Sindbad~EG File Manager

<?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/>.

/**
 * Header menus
 *
 * @package    theme_adaptable
 * @copyright  2015 Jeremy Hopkins (Coventry University)
 * @copyright  2015 Fernando Acedo (3-bits.com)
 * @license    https://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later.
 */
defined('MOODLE_INTERNAL') || die;

if ($ADMIN->fulltree) {
    $page = new \theme_adaptable\admin_settingspage('theme_adaptable_menus', get_string('menusettings', 'theme_adaptable'));

    $page->add(new admin_setting_heading(
        'theme_adaptable_menus',
        get_string('menusheading', 'theme_adaptable'),
        format_text(
            get_string('menustitledesc', 'theme_adaptable').'<br><br>'.
            get_string('fontawesomesettingdesc', 'theme_adaptable'),
            FORMAT_MARKDOWN
        )
    ));

    // Settings for top header menus.
    $page->add(new admin_setting_heading(
        'theme_adaptable_menus_visibility',
        get_string('menusheadingvisibility', 'theme_adaptable'),
        format_text(get_string('menusheadingvisibilitydesc', 'theme_adaptable'), FORMAT_MARKDOWN)
    ));

    $name = 'theme_adaptable/enablemenus';
    $title = get_string('enablemenus', 'theme_adaptable');
    $description = get_string('enablemenusdesc', 'theme_adaptable');
    $setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
    $page->add($setting);

    $name = 'theme_adaptable/menuslinkright';
    $title = get_string('menuslinkright', 'theme_adaptable');
    $description = get_string('menuslinkrightdesc', 'theme_adaptable');
    $setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
    $page->add($setting);

    // Links menu icon. Default is "fa-link".
    $name = 'theme_adaptable/menuslinkicon';
    $title = get_string('menuslinkicon', 'theme_adaptable');
    $description = get_string('menuslinkicondesc', 'theme_adaptable');
    $setting = new admin_setting_configtext($name, $title, $description, 'fa-link');
    $page->add($setting);

    $name = 'theme_adaptable/disablemenuscoursepages';
    $title = get_string('disablemenuscoursepages', 'theme_adaptable');
    $description = get_string('disablemenuscoursepagesdesc', 'theme_adaptable');
    $setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
    $page->add($setting);

    $name = 'theme_adaptable/menusession';
    $title = get_string('menusession', 'theme_adaptable');
    $description = get_string('menusessiondesc', 'theme_adaptable');
    $setting = new admin_setting_configcheckbox($name, $title, $description, true, true, false);
    $page->add($setting);

    $name = 'theme_adaptable/menusessionttl';
    $title = get_string('menusessionttl', 'theme_adaptable');
    $description = get_string('menusessionttldesc', 'theme_adaptable');
    $setting = new admin_setting_configtext($name, $title, $description, '30', PARAM_INT);
    $page->add($setting);

    $name = 'theme_adaptable/menuuseroverride';
    $title = get_string('menuuseroverride', 'theme_adaptable');
    $description = get_string('menuuseroverridedesc', 'theme_adaptable');
    $default = false;
    $setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
    $page->add($setting);

    $name = 'theme_adaptable/menuoverrideprofilefield';
    $title = get_string('menuoverrideprofilefield', 'theme_adaptable');
    $description = get_string('menuoverrideprofilefielddesc', 'theme_adaptable');
    $default = get_string('menuoverrideprofilefielddefault', 'theme_adaptable');
    $setting = new admin_setting_configtext($name, $title, $description, $default, PARAM_RAW);
    $page->add($setting);

    // Number of menus.
    $name = 'theme_adaptable/topmenuscount';
    $title = get_string('topmenuscount', 'theme_adaptable');
    $description = get_string('topmenuscountdesc', 'theme_adaptable');
    $default = THEME_ADAPTABLE_DEFAULT_TOPMENUSCOUNT;
    $setting = new admin_setting_configselect($name, $title, $description, $default, $choices0to12);
    $page->add($setting);

    // If we don't have a menuscount yet, default to the preset.
    $topmenuscount = get_config('theme_adaptable', 'topmenuscount');
    if (!$topmenuscount) {
        $topmenuscount = THEME_ADAPTABLE_DEFAULT_TOPMENUSCOUNT;
    }

    for ($topmenusindex = 1; $topmenusindex <= $topmenuscount; $topmenusindex++) {
        $page->add(new admin_setting_heading(
            'theme_adaptable_menus' . $topmenusindex,
            get_string('newmenuheading', 'theme_adaptable') . $topmenusindex,
            format_text(get_string('menusdesc', 'theme_adaptable'), FORMAT_MARKDOWN)
        ));

        $name = 'theme_adaptable/newmenu' . $topmenusindex . 'title';
        $title = get_string('newmenutitle', 'theme_adaptable');
        $description = get_string('newmenutitledesc', 'theme_adaptable');
        $default = get_string('newmenutitledefault', 'theme_adaptable') . ' ' . $topmenusindex;
        $setting = new admin_setting_configtext($name, $title, $description, $default, PARAM_RAW);
        $page->add($setting);

        $name = 'theme_adaptable/newmenu' . $topmenusindex;
        $title = get_string('newmenu', 'theme_adaptable') . $topmenusindex;
        $description = get_string('newmenudesc', 'theme_adaptable');
        $setting = new admin_setting_configtextarea($name, $title, $description, '', PARAM_RAW, '50', '10');
        $page->add($setting);

        $name = 'theme_adaptable/newmenu' . $topmenusindex . 'requirelogin';
        $title = get_string('newmenurequirelogin', 'theme_adaptable');
        $description = get_string('newmenurequirelogindesc', 'theme_adaptable');
        $default = false;
        $setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
        $page->add($setting);

        $name = 'theme_adaptable/newmenu' . $topmenusindex . 'field';
        $title = get_string('newmenufield', 'theme_adaptable');
        $description = get_string('newmenufielddesc', 'theme_adaptable');
        $setting = new admin_setting_configtext($name, $title, $description, '', PARAM_RAW);
        $page->add($setting);
    }

    $asettings->add($page);
}