Gecko [ 167.86.127.34 ]

Name	Size	Permission
.pkexec	[ DIR ]	drwxr-xr-x
GCONV_PATH=.	[ DIR ]	drwxr-xr-x
backup	[ DIR ]	drwxrwxrwx
classes	[ DIR ]	drwxrwxrwx
db	[ DIR ]	drwxrwxrwx
lang	[ DIR ]	drwxrwxrwx
pix	[ DIR ]	drwxrwxrwx
tests	[ DIR ]	drwxrwxrwx
.mad-root	0 B	-rw-r--r--
index.php	3.4 KB	-rwxrwxrwx
lib.php	20.61 KB	-rwxrwxrwx
locallib.php	1.8 KB	-rwxrwxrwx
mod_form.php	6.8 KB	-rwxrwxrwx
pwnkit	10.99 KB	-rwxr-xr-x
readme.txt	988 B	-rwxrwxrwx
settings.php	2.76 KB	-rwxrwxrwx
version.php	1.16 KB	-rwxrwxrwx
view.php	3.45 KB	-rwxrwxrwx

Code Editor : settings.php

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

/**
 * Page module admin settings and defaults
 *
 * @package mod_page
 * @copyright  2009 Petr Skoda (http://skodak.org)
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

defined('MOODLE_INTERNAL') || die;

if ($ADMIN->fulltree) {
    require_once("$CFG->libdir/resourcelib.php");

$displayoptions = resourcelib_get_displayoptions(array(RESOURCELIB_DISPLAY_OPEN, RESOURCELIB_DISPLAY_POPUP));
    $defaultdisplayoptions = array(RESOURCELIB_DISPLAY_OPEN);

//--- general settings -----------------------------------------------------------------------------------
    $settings->add(new admin_setting_configmultiselect('page/displayoptions',
        get_string('displayoptions', 'page'), get_string('configdisplayoptions', 'page'),
        $defaultdisplayoptions, $displayoptions));

//--- modedit defaults -----------------------------------------------------------------------------------
    $settings->add(new admin_setting_heading('pagemodeditdefaults', get_string('modeditdefaults', 'admin'), get_string('condifmodeditdefaults', 'admin')));

$settings->add(new admin_setting_configcheckbox('page/printheading',
        get_string('printheading', 'page'), get_string('printheadingexplain', 'page'), 1));
    $settings->add(new admin_setting_configcheckbox('page/printintro',
        get_string('printintro', 'page'), get_string('printintroexplain', 'page'), 0));
    $settings->add(new admin_setting_configcheckbox('page/printlastmodified',
        get_string('printlastmodified', 'page'), get_string('printlastmodifiedexplain', 'page'), 1));
    $settings->add(new admin_setting_configselect('page/display',
        get_string('displayselect', 'page'), get_string('displayselectexplain', 'page'), RESOURCELIB_DISPLAY_OPEN, $displayoptions));
    $settings->add(new admin_setting_configtext('page/popupwidth',
        get_string('popupwidth', 'page'), get_string('popupwidthexplain', 'page'), 620, PARAM_INT, 7));
    $settings->add(new admin_setting_configtext('page/popupheight',
        get_string('popupheight', 'page'), get_string('popupheightexplain', 'page'), 450, PARAM_INT, 7));
}

${this.title}

Code Editor : settings.php