mirror of
https://github.com/moodle/moodle.git
synced 2025-01-21 07:28:31 +01:00
134 lines
4.3 KiB
PHP
134 lines
4.3 KiB
PHP
<?php // $Id$
|
|
/// configuration routines for HTMLArea editor
|
|
|
|
require_once("../config.php");
|
|
require_login();
|
|
|
|
if (!isadmin()) {
|
|
error("Only admins can access this page");
|
|
}
|
|
|
|
if($data = data_submitted()) {
|
|
|
|
// do we want default values?
|
|
if(isset($data->resettodefaults)) {
|
|
if(!(reset_to_defaults())) {
|
|
error("Editor settings could not be restored!");
|
|
}
|
|
} else {
|
|
|
|
if(!(editor_update_config($data))) {
|
|
error("Editor settings could not be updated!");
|
|
}
|
|
}
|
|
redirect("$CFG->wwwroot/$CFG->admin/editor.php", get_string("changessaved"), 1);
|
|
|
|
} else {
|
|
// Generate edit form
|
|
|
|
$fontlist = editor_convert_to_array($CFG->editorfontlist);
|
|
|
|
$stradmin = get_string("administration");
|
|
$strconfiguration = get_string("configuration");
|
|
$streditorsettings = get_string("editorsettings");
|
|
$streditorsettingshelp = get_string("adminhelpeditorsettings");
|
|
print_header("Editor settings","Editor settings",
|
|
"<a href=\"index.php\">$stradmin</a> -> ".
|
|
"<a href=\"configure.php\">$strconfiguration</a> -> $streditorsettings");
|
|
print_heading($streditorsettings);
|
|
print_simple_box("<center>$streditorsettingshelp</center>","center","50%");
|
|
print("<br />\n");
|
|
print_simple_box_start("center", "", "$THEME->cellheading");
|
|
include("editor.html");
|
|
print_simple_box_end();
|
|
print_footer();
|
|
}
|
|
|
|
|
|
/// FUNCTIONS
|
|
|
|
function editor_convert_to_array ($string) {
|
|
/// Converts $CFG->editorfontlist to array
|
|
|
|
if(empty($string) || !is_string($string)) {
|
|
return false;
|
|
}
|
|
$fonts = array();
|
|
|
|
$lines = explode(";", $string);
|
|
foreach($lines as $line) {
|
|
if(!empty($line)) {
|
|
list($fontkey, $fontvalue) = explode(":", $line);
|
|
$fonts[$fontkey] = $fontvalue;
|
|
}
|
|
}
|
|
|
|
return $fonts;
|
|
}
|
|
|
|
function editor_update_config ($data) {
|
|
/// Updates the editor config values.
|
|
|
|
if(!is_object($data)) {
|
|
return false;
|
|
}
|
|
|
|
// Make array for unwanted characters.
|
|
$nochars = array(chr(33),chr(34),chr(35),chr(36),chr(37),
|
|
chr(38),chr(39),chr(40),chr(41),chr(42),
|
|
chr(43),chr(46),chr(47),chr(58),chr(59),
|
|
chr(60),chr(61),chr(62),chr(63),chr(64),
|
|
chr(91),chr(92),chr(93),chr(94),chr(95),
|
|
chr(96),chr(123),chr(124),chr(125),chr(126));
|
|
|
|
$fontlist = '';
|
|
|
|
// make font string
|
|
for($i = 0; $i < count($data->fontname); $i++) {
|
|
if(!empty($data->fontname[$i])) {
|
|
$fontlist .= str_replace($nochars, "", $data->fontname[$i]) .":";
|
|
$fontlist .= str_replace($nochars, "", $data->fontnamevalue[$i]) .";";
|
|
}
|
|
}
|
|
// strip last semicolon
|
|
$fontlist = substr($fontlist, 0, strlen($fontlist) - 1);
|
|
|
|
// make array of values to update
|
|
$updatedata = array();
|
|
$updatedata['editorbackgroundcolor'] = !empty($data->backgroundcolor) ? $data->backgroundcolor : "#ffffff";
|
|
$updatedata['editorfontfamily'] = !empty($data->fontfamily) ? str_replace($nochars,"",$data->fontfamily) : "Times New Roman, Times";
|
|
$updatedata['editorfontsize'] = !empty($data->fontsize) ? $data->fontsize : "";
|
|
$updatedata['editorkillword'] = !empty($data->killword) ? $data->killword : "true";
|
|
$updatedata['editorspelling'] = !empty($data->spelling) ? $data->spelling : 0;
|
|
$updatedata['editorfontlist'] = $fontlist;
|
|
|
|
foreach($updatedata as $name => $value) {
|
|
if(!(set_config($name, $value))) {
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
function reset_to_defaults () {
|
|
global $CFG;
|
|
include_once($CFG->dirroot .'/lib/defaults.php');
|
|
|
|
$updatedata = array();
|
|
|
|
$updatedata['editorbackgroundcolor'] = $defaults['editorbackgroundcolor'];
|
|
$updatedata['editorfontfamily'] = $defaults['editorfontfamily'];
|
|
$updatedata['editorfontsize'] = $defaults['editorfontsize'];
|
|
$updatedata['editorkillword'] = $defaults['editorkillword'];
|
|
$updatedata['editorspelling'] = $defaults['editorspelling'];
|
|
$updatedata['editorfontlist'] = $defaults['editorfontlist'];
|
|
|
|
foreach($updatedata as $name => $value) {
|
|
if(!(set_config($name, $value))) {
|
|
return false;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
?>
|