No need for useneweditor anymore

diff --git a/config-dist.php b/config-dist.php
index afb2998293685484198806c675584fc354b7e6f8..71a3866760c50840102cec12b9d63f426ee761da 100644 (file)
--- a/config-dist.php
+++ b/config-dist.php
@@ -135,15 +135,6 @@ $CFG->admin = 'admin';
 // eg   $CFG->textfilter1 = "mod/glossary/dynalink.php";\r
 //      $CFG->textfilter2 = "library/librarylib.php";\r
 \r
-//=========================================================================\r
-// 8. HTML EDITOR (temporary setting in development version only)\r
-//=========================================================================\r
-// We are currently moving to a new HTML editor that works on \r
-// Mozilla browsers as well as Internet Explorer.  To enable this \r
-// editor, uncomment the following line.\r
-//\r
-// $CFG->useneweditor = true;\r
-\r
 \r
 //=========================================================================\r
 // ALL DONE!  To continue installation, visit your main page with a browser\r