moodle/moodle
3
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-08-05 00:46:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Changes to integrate the new HTML editor into Moodle in an optional way

Browse source 
until it's stable enough to replace Richtext

To enable the new editor, add this line into config.php:

  $CFG->useneweditor = true;
This commit is contained in:
moodler 2003-10-29 08:06:11 +00:00
parent a800c94891
commit 4c46c425db
8 changed files with 299 additions and 73 deletions
Download patch file Download diff file Expand all files Collapse all files

12
lang/en/moodle.php
View file

@ -371,7 +371,7 @@ $string['helpindex'] = "Index of all help files";
$string['helppicture'] = "How to upload a picture";
$string['helpreading'] = "Read carefully";
$string['helptext'] = "How to write text";
$string['helprichtext'] = "About Richtext editor";
$string['helprichtext'] = "About the HTML editor";
$string['helpsummaries'] = "About these summaries";
$string['helpquestions'] = "Ask good questions";
$string['helpwiki'] = "How to write Wiki text";
@ -384,11 +384,11 @@ $string['home'] = "Home";
$string['hour'] = "hour";
$string['hours'] = "hours";
$string['howtomakethemes'] = "How to make new themes";
$string['htmleditor'] = "Use Richtext HTML editor (IE only, 5.5 or later)";
$string['htmleditoravailable'] = "The Richtext editor is available";
$string['htmleditordisabled'] = "You have disabled the Richtext editor in your user profile";
$string['htmleditordisabledadmin'] = "The administrator has disabled the Richtext editor on this site";
$string['htmleditordisabledbrowser'] = "The Richtext editor is unavailable because you are not using Internet Explorer 5.5 or better";
$string['htmleditor'] = "Use HTML editor (some browsers only)";
$string['htmleditoravailable'] = "The HTML editor is available";
$string['htmleditordisabled'] = "You have disabled the HTML editor in your user profile";
$string['htmleditordisabledadmin'] = "The administrator has disabled the HTML editor on this site";
$string['htmleditordisabledbrowser'] = "The HTML editor is unavailable because your web browser is not compatible";
$string['htmlformat'] = "Pretty HTML format";
$string['icqnumber'] = "ICQ number";
$string['idnumber'] = "ID number";