diff --git a/admin/config.html b/admin/config.html
index 97fc89ad879..645a409ecb5 100644
--- a/admin/config.html
+++ b/admin/config.html
@@ -65,6 +65,20 @@
print_string("configgdversion") ?>
+
+ htmleditor: |
+
+ unset($options);
+ $options[0] = get_string("allownot");
+ $options[1] = get_string("allow");
+ choose_from_menu ($options, "htmleditor", $config->htmleditor, "", "", "");
+ formerr($err["htmleditor"]);
+ ?>
+ |
+
+ print_string("confightmleditor") ?>
+ |
+
maxeditingtime: |
diff --git a/admin/index.php b/admin/index.php
index af56326a5d7..cc6fc72ca96 100644
--- a/admin/index.php
+++ b/admin/index.php
@@ -255,7 +255,7 @@
print_heading("Moodle $CFG->release ($CFG->version)", "CENTER", 1);
- print_footer();
+ print_footer($site);
?>
diff --git a/lib/db/mysql.php b/lib/db/mysql.php
index 79987e67c37..ac1b900583c 100644
--- a/lib/db/mysql.php
+++ b/lib/db/mysql.php
@@ -74,6 +74,9 @@ function upgrade_moodle($oldversion=0) {
if ($oldversion < 2002092100) {
execute_sql(" ALTER TABLE `user` ADD `deleted` TINYINT(1) UNSIGNED DEFAULT '0' NOT NULL AFTER `confirmed` ");
}
+ if ($oldversion < 2002101001) {
+ execute_sql(" ALTER TABLE `user` ADD `htmleditor` TINYINT(1) UNSIGNED DEFAULT '1' NOT NULL AFTER `maildisplay` ");
+ }
return true;
}
diff --git a/lib/db/mysql.sql b/lib/db/mysql.sql
index 6c4508853c1..692e557cd80 100644
--- a/lib/db/mysql.sql
+++ b/lib/db/mysql.sql
@@ -175,6 +175,7 @@ CREATE TABLE `user` (
`description` text,
`mailformat` tinyint(1) unsigned NOT NULL default '1',
`maildisplay` tinyint(2) unsigned NOT NULL default '2',
+ `htmleditor` tinyint(1) unsigned NOT NULL default '1',
`timemodified` int(10) unsigned NOT NULL default '0',
PRIMARY KEY (`id`),
UNIQUE KEY `id` (`id`),
diff --git a/lib/defaults.php b/lib/defaults.php
index f107ae1ec2c..010d2ff0e6d 100644
--- a/lib/defaults.php
+++ b/lib/defaults.php
@@ -13,7 +13,8 @@
"longtimenosee" => 100,
"zip" => "/usr/bin/zip",
"unzip" => "/usr/bin/unzip",
- "slasharguments" => true,
+ "slasharguments" => 1,
+ "htmleditor" => true,
"proxyhost" => "",
"proxyport" => "",
"maxeditingtime" => 1800
diff --git a/lib/javascript.php b/lib/javascript.php
index 44d84bbe1e5..e8e15d16b9d 100644
--- a/lib/javascript.php
+++ b/lib/javascript.php
@@ -2,14 +2,19 @@
|