standardising editor plugin names

AMOS BEGIN
 MOV [modulename,editor_textarea],[pluginname,editor_textarea]
 MOV [modulename,editor_tinymce],[pluginname,editor_tinymce]
AMOS END

diff --git a/admin/editors.php b/admin/editors.php
index 30b8b82..9ad017a 100644 (file)
--- a/admin/editors.php
+++ b/admin/editors.php
@@ -109,7 +109,7 @@ switch ($action) {
                 $form->set_data($data);
                 $PAGE->set_pagetype('admin-editors-' . $editor);
                 echo $OUTPUT->header();
-                echo $OUTPUT->heading(get_string('modulename', 'editor_'.$editor));
+                echo $OUTPUT->heading(get_string('pluginname', 'editor_'.$editor));
                 $OUTPUT->box_start();
                 $form->display();
                 $OUTPUT->box_end();

diff --git a/lib/editor/textarea/lang/en/editor_textarea.php b/lib/editor/textarea/lang/en/editor_textarea.php
index 74a0854..0d63820 100644 (file)
--- a/lib/editor/textarea/lang/en/editor_textarea.php
+++ b/lib/editor/textarea/lang/en/editor_textarea.php
@@ -23,4 +23,4 @@
  * @license   http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  */
 
-$string['modulename'] = 'Plain text area';
+$string['pluginname'] = 'Plain text area';

diff --git a/lib/editor/tinymce/lang/en/editor_tinymce.php b/lib/editor/tinymce/lang/en/editor_tinymce.php
index a1c8517..878962c 100644 (file)
--- a/lib/editor/tinymce/lang/en/editor_tinymce.php
+++ b/lib/editor/tinymce/lang/en/editor_tinymce.php
@@ -502,7 +502,7 @@ $string['media_dlg:windowlessvideo'] = 'Windowless video';
 $string['media_dlg:wmode'] = 'WMode';
 $string['media_dlg:wmp_options'] = 'Windows media player options';
 $string['media:edit'] = 'Edit embedded media';
-$string['modulename'] = 'TinyMCE HTML editor';
+$string['pluginname'] = 'TinyMCE HTML editor';
 $string['nonbreaking:nonbreaking_desc'] = 'Insert non-breaking space character';
 $string['pagebreak:desc'] = 'Insert page break.';
 $string['paste_dlg:text_linebreaks'] = 'Keep linebreaks';