placeholder name changed

frontend-js/src/main/js/gui/leftPanel/MiRnaPanel.js

@@ -13,7 +13,7 @@ function MiRnaPanel(params) {
   params.helpTip = '<p>source: <a target="_mirtarbase" href="http://mirtarbase.mbc.nctu.edu.tw/">miRTarBase</a></p>'
       + '<p>use only mature sequence IDs according to <a target="_mirbase" href="http://www.mirbase.org">www.mirbase.org</a> (e.g., hsa-miR-125a-3p)</p>'
       + '<p>only targets with strong evidence as defined by miRTarBase are displayed<p>separate multiple search by semicolon</p>';
-  params.placeholder  = "mature sequence ID (miRTarBase)";
+  params.placeholder = "mature seq. ID (miRTarBase)";
   AbstractDbPanel.call(this, params);
 }
 MiRnaPanel.prototype = Object.create(AbstractDbPanel.prototype);