Remove unnecessary semicolons.

Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>

4 files changed, 5 insertions, 5 deletions

diff --git a/js/page_settings.js b/js/page_settings.js
index 5c02ba6515..c0055bed8c 100644
--- a/js/page_settings.js
+++ b/js/page_settings.js
@@ -19,7 +19,7 @@ function showSettings(selector) {
     };
 
     // Keeping a clone to restore in case the user cancels the operation
-    var $clone = $(selector + ' .page_settings').clone(true);;
+    var $clone = $(selector + ' .page_settings').clone(true);
     $(selector)
     .dialog({
         title: PMA_messages.strPageSettings,
diff --git a/js/pmd/move.js b/js/pmd/move.js
index 4fb219b1a1..210f9c6ade 100644
--- a/js/pmd/move.js
+++ b/js/pmd/move.js
@@ -182,7 +182,7 @@ function MouseMove(e)
         if (ON_grid) {
             new_x = parseInt(new_x / grid_size) * grid_size;
             new_y = parseInt(new_y / grid_size) * grid_size;
-        };
+        }
 
         $cur_click.css('left', new_x + 'px');
         $cur_click.css('top', new_y + 'px');
@@ -1535,7 +1535,7 @@ function No_have_constr(id_this)
 
     if (id_this.alt == 'v') {
         id_this.alt = '>';
-        id_this.src = id_this.dataset.right;;
+        id_this.src = id_this.dataset.right;
     } else {
         id_this.alt = 'v';
         id_this.src = id_this.dataset.down;
diff --git a/js/rte.js b/js/rte.js
index 4248f07ee3..fcc85d7b3f 100644
--- a/js/rte.js
+++ b/js/rte.js
@@ -174,7 +174,7 @@ RTE.COMMON = {
             } else {
                 PMA_ajaxShowMessage(data.error, false);
             }
-        }; // end showExport()
+        } // end showExport()
     },  // end exportDialog()
     editorDialog: function (is_new, $this) {
         var that = this;
diff --git a/js/tbl_change.js b/js/tbl_change.js
index 4d70dbcee7..fbd5718faf 100644
--- a/js/tbl_change.js
+++ b/js/tbl_change.js
@@ -389,7 +389,7 @@ AJAX.registerOnload('tbl_change.js', function () {
          * after initiation of functions
          */
         extendingValidatorMessages();
-    };
+    }
 
     $.datepicker.initialized = false;