remove empty if statement

jcubic · Mar 9, 2018 · c0852b5 · c0852b5
1 parent 8f9d43a
commit c0852b5
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 14 deletions.
diff --git a/js/jquery.terminal-1.12.1.js b/js/jquery.terminal-1.12.1.js
@@ -32,7 +32,7 @@
  * Copyright (c) 2007-2013 Alexandru Marasteanu <hello at alexei dot ro>
  * licensed under 3 clause BSD license
  *
- * Date: Fri, 09 Mar 2018 13:34:12 +0000
+ * Date: Fri, 09 Mar 2018 14:54:07 +0000
  */
 
 /* TODO:
@@ -2886,7 +2886,7 @@
     }
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 09 Mar 2018 13:34:12 +0000',
+        date: 'Fri, 09 Mar 2018 14:54:07 +0000',
         // colors from http://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -3124,8 +3124,6 @@
             string = start_formatting + string.substring(start, end);
             if (end_formatting) {
                 string = string.replace(/(\[\[^\]]+)?\]$/, '');
-                if (string[string.length - 1] !== ']') {
-                }
                 string += ']';
             }
             return string;

diff --git a/js/jquery.terminal-1.12.1.min.js b/js/jquery.terminal-1.12.1.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -3124,8 +3124,6 @@
             string = start_formatting + string.substring(start, end);
             if (end_formatting) {
                 string = string.replace(/(\[\[^\]]+)?\]$/, '');
-                if (string[string.length - 1] !== ']') {
-                }
                 string += ']';
             }
             return string;

diff --git a/js/jquery.terminal.js b/js/jquery.terminal.js
@@ -32,7 +32,7 @@
  * Copyright (c) 2007-2013 Alexandru Marasteanu <hello at alexei dot ro>
  * licensed under 3 clause BSD license
  *
- * Date: Fri, 09 Mar 2018 13:34:12 +0000
+ * Date: Fri, 09 Mar 2018 14:54:07 +0000
  */
 
 /* TODO:
@@ -2886,7 +2886,7 @@
     }
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 09 Mar 2018 13:34:12 +0000',
+        date: 'Fri, 09 Mar 2018 14:54:07 +0000',
         // colors from http://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -3124,8 +3124,6 @@
             string = start_formatting + string.substring(start, end);
             if (end_formatting) {
                 string = string.replace(/(\[\[^\]]+)?\]$/, '');
-                if (string[string.length - 1] !== ']') {
-                }
                 string += ']';
             }
             return string;

diff --git a/js/jquery.terminal.min.js b/js/jquery.terminal.min.js