From bb69b9162efeb0bd4174ed6572072772982cfef9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Mon, 17 Feb 2014 19:35:45 +0100
Subject: [PATCH] Add missing semicolon
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 js/functions.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/js/functions.js b/js/functions.js
index 34bc714930..303ea62490 100644
--- a/js/functions.js
+++ b/js/functions.js
@@ -195,11 +195,11 @@ function displayPasswordGenerateButton()
  * @param object  $this_element   a jQuery object pointing to the element
  */
 function PMA_addDatepicker($this_element, type, options)
-{   
+{
     var showTimepicker = true;
     if (type=="date") {
         showTimepicker = false;
-    }    
+    }
 
     var defaultOptions = {
         showOn: 'button',
@@ -869,7 +869,7 @@ function addDateTimePicker() {
             var timeFormat = 'HH:mm:ss';
             // check for decimal places of seconds
             if (($(this).parent().attr('data-decimals') > 0) && ($(this).parent().attr('data-type').indexOf('time') != -1)){
-                showMillisec = true;                       
+                showMillisec = true;
                 timeFormat = 'HH:mm:ss.lc';
                 if ($(this).parent().attr('data-decimals') > 3) {
                     showMicrosec = true;
@@ -878,9 +878,9 @@ function addDateTimePicker() {
             PMA_addDatepicker($(this), $(this).parent().attr('data-type'), {
                 showMillisec: showMillisec,
                 showMicrosec: showMicrosec,
-                timeFormat: timeFormat,                        
-            });               
-         })
+                timeFormat: timeFormat,
+            });
+         });
     }
 }