### Eclipse Workspace Patch 1.0
#P drupal-contrib-5
Index: modules/tinymce/tinymce.module
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/tinymce/tinymce.module,v
retrieving revision 1.90.4.23
diff -u -r1.90.4.23 tinymce.module
--- modules/tinymce/tinymce.module	6 May 2007 01:41:35 -0000	1.90.4.23
+++ modules/tinymce/tinymce.module	16 Nov 2007 10:10:20 -0000
@@ -31,11 +31,7 @@
       return "node/*\nuser/*\ncomment/*";
     case 'admin/settings/tinymce':
     case 'admin/help#tinymce' :
-      return t('<p style="font-size:x-small">$Revision: 1.90.4.23 $ $Date: 2007/05/06 01:41:35 $</p>' .
-               '<p>TinyMCE adds what-you-see-is-what-you-get (WYSIWYG) html editing to textareas. This editor can be enabled/disabled without reloading the page by clicking a link below each textarea.</p>
-                <p>Profiles can be defined based on user roles. A TinyMCE profile can define which pages receive this TinyMCE capability, what buttons or themes are enabled for the editor, how the editor is displayed, and a few other editor functions.</p>
-                <p>Lastly, only users with the <code>access tinymce</code> <a href="!url">permission</a> will be able to use TinyMCE.</p>', array('!url' => url('admin/user/access'))
-              );
+      return '<p style="font-size:x-small">$Revision: 1.90.4.23 $ $Date: 2007/05/06 01:41:35 $</p><p>'. t('TinyMCE adds what-you-see-is-what-you-get (WYSIWYG) html editing to textareas. This editor can be enabled/disabled without reloading the page by clicking a link below each textarea.') .'</p><p>'. t('Profiles can be defined based on user roles. A TinyMCE profile can define which pages receive this TinyMCE capability, what buttons or themes are enabled for the editor, how the editor is displayed, and a few other editor functions.') .'</p><p>'. t('Lastly, only users with the <code>access tinymce</code> <a href="!url">permission</a> will be able to use TinyMCE.', array('!url' => url('admin/user/access'))) .'</p>';
   }
 }