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
*
* @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;
// Header heading.
if ($ADMIN->fulltree) {
$page = new \theme_adaptable\admin_settingspage('theme_adaptable_header', get_string('headersettings', 'theme_adaptable'));
$page->add(new admin_setting_heading(
'theme_adaptable_header',
get_string('headersettingsheading', 'theme_adaptable'),
format_text(get_string('headerdesc', 'theme_adaptable'), FORMAT_MARKDOWN)
));
// Header image.
$name = 'theme_adaptable/headerbgimage';
$title = get_string('headerbgimage', 'theme_adaptable');
$description = get_string('headerbgimagedesc', 'theme_adaptable');
$setting = new \theme_adaptable\admin_setting_configstoredfiles(
$name, $title, $description, 'headerbgimage',
['accepted_types' => '*.jpg,*.jpeg,*.png', 'maxfiles' => 1]
);
$page->add($setting);
// Header image text colour.
$name = 'theme_adaptable/headerbgimagetextcolour';
$title = get_string('headerbgimagetextcolour', 'theme_adaptable');
$description = get_string('headerbgimagetextcolourdesc', 'theme_adaptable');
$previewconfig = null;
$setting = new admin_setting_configcolourpicker($name, $title, $description, '#ffffff', $previewconfig);
$setting->set_updatedcallback('theme_reset_all_caches');
$page->add($setting);
// Select type of login.
$name = 'theme_adaptable/displaylogin';
$title = get_string('displaylogin', 'theme_adaptable');
$description = get_string('displaylogindesc', 'theme_adaptable');
$choices = [
'button' => get_string('displayloginbutton', 'theme_adaptable'),
'box' => get_string('displayloginbox', 'theme_adaptable'),
'no' => get_string('displayloginno', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'button', $choices);
$page->add($setting);
// Show username.
$name = 'theme_adaptable/showusername';
$title = get_string('showusername', 'theme_adaptable');
$description = get_string('showusernamedesc', 'theme_adaptable');
$default = true;
$setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
$page->add($setting);
// Logo.
$name = 'theme_adaptable/logo';
$title = get_string('logo', 'theme_adaptable');
$description = get_string('logodesc', 'theme_adaptable');
$setting = new \theme_adaptable\admin_setting_configstoredfiles(
$name, $title, $description, 'logo',
['accepted_types' => '*.jpg,*.jpeg,*.png', 'maxfiles' => 1]
);
$page->add($setting);
// Logo description text.
$name = 'theme_adaptable/logoalt';
$title = get_string('logoalt', 'theme_adaptable');
$description = get_string('logoaltdesc', 'theme_adaptable');
$default = get_string('logo', 'theme_adaptable');
$setting = new admin_setting_configtextarea($name, $title, $description, $default);
$page->add($setting);
// Page Header Height.
$name = 'theme_adaptable/pageheaderheight';
$title = get_string('pageheaderheight', 'theme_adaptable');
$description = get_string('pageheaderheightdesc', 'theme_adaptable');
$setting = new admin_setting_configtext($name, $title, $description, '72px');
$setting->set_updatedcallback('theme_reset_all_caches');
$page->add($setting);
// Have mobile primary navigation.
$name = 'theme_adaptable/mobileprimarynav';
$title = get_string('mobileprimarynav', 'theme_adaptable');
$description = get_string('mobileprimarynavdesc', 'theme_adaptable');
$default = true;
$setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
$page->add($setting);
// Course page header title.
$name = 'theme_adaptable/coursepageheaderhidetitle';
$title = get_string('coursepageheaderhidetitle', 'theme_adaptable');
$description = get_string('coursepageheaderhidetitledesc', 'theme_adaptable');
$existing = get_config('theme_adaptable', 'coursepageheaderhidesitetitle');
if (!empty($existing)) {
$default = $existing;
} else {
$default = false;
}
$setting = new admin_setting_configcheckbox($name, $title, $description, $default);
$page->add($setting);
$name = 'theme_adaptable/coursepageheaderhidesitetitle';
$title = get_string('coursepageheaderhidesitetitle', 'theme_adaptable');
$description = get_string('coursepageheaderhidesitetitledesc', 'theme_adaptable');
$setting = new admin_setting_configcheckbox($name, $title, $description, false);
$page->add($setting);
// Favicon file setting.
$name = 'theme_adaptable/favicon';
$title = get_string('favicon', 'theme_adaptable');
$description = get_string('favicondesc', 'theme_adaptable');
$setting = new admin_setting_description($name, $title, $description);
$page->add($setting);
// Site title.
$name = 'theme_adaptable/sitetitle';
$title = get_string('sitetitle', 'theme_adaptable');
$description = get_string('sitetitledesc', 'theme_adaptable');
$radchoices = [
'disabled' => get_string('sitetitleoff', 'theme_adaptable'),
'default' => get_string('sitetitledefault', 'theme_adaptable'),
'custom' => get_string('sitetitlecustom', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'default', $radchoices);
$page->add($setting);
// Site title text.
$name = 'theme_adaptable/sitetitletext';
$title = get_string('sitetitletext', 'theme_adaptable');
$description = get_string('sitetitletextdesc', 'theme_adaptable');
$default = '';
$setting = new admin_setting_confightmleditor($name, $title, $description, $default);
$page->add($setting);
// Display Course title in the header.
$name = 'theme_adaptable/enableheading';
$title = get_string('enableheading', 'theme_adaptable');
$description = get_string('enableheadingdesc', 'theme_adaptable');
$radchoices = [
'fullname' => get_string('coursetitlefullname', 'theme_adaptable'),
'shortname' => get_string('coursetitleshortname', 'theme_adaptable'),
'off' => get_string('hide'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'fullname', $radchoices);
$page->add($setting);
// Display Course title.
$name = 'theme_adaptable/enablecoursetitle';
$title = get_string('enablecoursetitle', 'theme_adaptable');
$description = get_string('enablecoursetitledesc', 'theme_adaptable');
$radchoices = [
'fullname' => get_string('coursetitlefullname', 'theme_adaptable'),
'shortname' => get_string('coursetitleshortname', 'theme_adaptable'),
'off' => get_string('hide'),
];
$existing = get_config('theme_adaptable', 'enableheading');
if (!empty($existing)) {
$default = $existing;
} else {
$default = 'fullname';
}
$setting = new admin_setting_configselect($name, $title, $description, $default, $radchoices);
$page->add($setting);
// Course Title Maximum Width.
$name = 'theme_adaptable/coursetitlemaxwidth';
$title = get_string('coursetitlemaxwidth', 'theme_adaptable');
$description = get_string('coursetitlemaxwidthdesc', 'theme_adaptable');
$setting = new admin_setting_configtext($name, $title, $description, '20', PARAM_INT);
$page->add($setting);
// Display Breadcrumb or Course title where the breadcrumb normally is.
$name = 'theme_adaptable/breadcrumbdisplay';
$title = get_string('breadcrumbdisplay', 'theme_adaptable');
$description = get_string('breadcrumbdisplaydesc', 'theme_adaptable');
$radchoices = [
'breadcrumb' => get_string('breadcrumb', 'theme_adaptable'),
'fullname' => get_string('coursetitlefullname', 'theme_adaptable'),
'shortname' => get_string('coursetitleshortname', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'breadcrumb', $radchoices);
$page->add($setting);
// Breadcrumb home.
$name = 'theme_adaptable/breadcrumbhome';
$title = get_string('breadcrumbhome', 'theme_adaptable');
$description = get_string('breadcrumbhomedesc', 'theme_adaptable');
$radchoices = [
'text' => get_string('breadcrumbhometext', 'theme_adaptable'),
'icon' => get_string('breadcrumbhomeicon', 'theme_adaptable'),
'off' => get_string('breadcrumbhomeoff', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'icon', $radchoices);
$page->add($setting);
// Breadcrumb separator.
$name = 'theme_adaptable/breadcrumbseparator';
$title = get_string('breadcrumbseparator', 'theme_adaptable');
$description = get_string('breadcrumbseparatordesc', 'theme_adaptable', 'https://fontawesome.com/search?o=r&m=free');
$setting = new admin_setting_configtext($name, $title, $description, 'angle-right');
$page->add($setting);
// Choose what to do with the search box and social icons.
$name = 'theme_adaptable/headersearchandsocial';
$title = get_string('headersearchandsocial', 'theme_adaptable');
$description = get_string('headersearchandsocialdesc', 'theme_adaptable');
$choices = [
'none' => get_string('headersearchandsocialnone', 'theme_adaptable'),
'searchmobilenav' => get_string('headersearchandsocialsearchmobilenav', 'theme_adaptable'),
'searchheader' => get_string('headersearchandsocialsearchheader', 'theme_adaptable'),
'socialheader' => get_string('headersearchandsocialsocialheader', 'theme_adaptable'),
'searchnavbar' => get_string('headersearchandsocialsearchnavbar', 'theme_adaptable'),
'searchnavbarsocialheader' => get_string('headersearchandsocialsearchnavbarsocialheader', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'searchmobilenav', $choices);
$page->add($setting);
// Search box padding.
$name = 'theme_adaptable/searchboxpadding';
$title = get_string('searchboxpadding', 'theme_adaptable');
$description = get_string('searchboxpaddingdesc', 'theme_adaptable');
$setting = new admin_setting_configtext($name, $title, $description, '0 0 0 0');
$setting->set_updatedcallback('theme_reset_all_caches');
$page->add($setting);
// Enable save / cancel overlay at top of page.
$name = 'theme_adaptable/enablesavecanceloverlay';
$title = get_string('enablesavecanceloverlay', 'theme_adaptable');
$description = get_string('enablesavecanceloverlaydesc', 'theme_adaptable');
$default = true;
$setting = new admin_setting_configcheckbox($name, $title, $description, $default, true, false);
$page->add($setting);
// Header style section.
$page->add(new admin_setting_heading(
'theme_adaptable_headerstyle_heading',
get_string('headerstyleheading', 'theme_adaptable'),
format_text(get_string('headerstyleheadingdesc', 'theme_adaptable'), FORMAT_MARKDOWN)
));
// Adaptable header style selection.
$name = 'theme_adaptable/headerstyle';
$title = get_string('headerstyle', 'theme_adaptable');
$description = get_string('headerstyledesc', 'theme_adaptable');
$radchoices = [
'style1' => get_string('headerstyle1', 'theme_adaptable'),
'style2' => get_string('headerstyle2', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'style1', $radchoices);
$page->add($setting);
// Page header layout for header one.
$name = 'theme_adaptable/pageheaderlayout';
$title = get_string('pageheaderlayout', 'theme_adaptable');
$description = get_string('pageheaderlayoutdesc', 'theme_adaptable');
$radchoices = [
'original' => get_string('pageheaderoriginal', 'theme_adaptable'),
'alternative' => get_string('pageheaderalternative', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'original', $radchoices);
$page->add($setting);
// Page header layout for header two.
$name = 'theme_adaptable/pageheaderlayouttwo';
$title = get_string('pageheaderlayouttwo', 'theme_adaptable');
$description = get_string('pageheaderlayouttwodesc', 'theme_adaptable');
$radchoices = [
'original' => get_string('pageheaderoriginal', 'theme_adaptable'),
'nosearch' => get_string('pageheadernosearch', 'theme_adaptable'),
];
$setting = new admin_setting_configselect($name, $title, $description, 'original', $radchoices);
$page->add($setting);
$asettings->add($page);
}
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists