From 48dd825326ce9a80e6331599d589510851a6e4d6 Mon Sep 17 00:00:00 2001
From: jmontoyaa <gugli100@gmail.com>
Date: Tue, 26 Apr 2016 08:41:18 +0200
Subject: [PATCH] Set htmleditor instead of textarea

---
 main/work/work.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/work/work.lib.php b/main/work/work.lib.php
index 9faec2e31d..0ac4900b1b 100755
--- a/main/work/work.lib.php
+++ b/main/work/work.lib.php
@@ -3343,7 +3343,7 @@ function getWorkCommentForm($work, $page = 'view')
     );
 
     $form->addElement('file', 'file', get_lang('Attachment'));
-    $form->addElement('textarea', 'comment', get_lang('Comment'), array('rows' => '8'));
+    $form->addHtmlEditor('comment', get_lang('Comment'));
     $form->addElement('hidden', 'id', $work['id']);
     $form->addElement('hidden', 'page', $page);
     if (api_is_allowed_to_edit()) {