@@ -1,8 +1,8 @@
 import $ from 'jquery';
-import { Functions } from './functions.js';
 import { CommonParams } from './common.js';
 import { ajaxShowMessage } from './ajax-message.js';
 import isStorageSupported from './functions/isStorageSupported.js';
+import formatDateTime from './functions/formatDateTime.js';
 
 /**
  * Functions used in configuration forms and on user preferences pages
@@ -658,10 +658,7 @@ function savePrefsToLocalStorage (form) {
  */
 function updatePrefsDate () {
     var d = new Date(window.localStorage.configMtimeLocal);
-    var msg = window.Messages.strSavedOn.replace(
-        '@DATE@',
-        Functions.formatDateTime(d)
-    );
+    var msg = window.Messages.strSavedOn.replace('@DATE@', formatDateTime(d));
     $('#opts_import_local_storage').find('div.localStorage-exists').html(msg);
 }
 
 
@@ -3482,28 +3482,6 @@ Functions.onloadLoginForm = () => {
     }
 };
 
-/**
- * Formats timestamp for display
- *
- * @param {string} date
- * @param {bool} seconds
- * @return {string}
- */
-Functions.formatDateTime = function (date, seconds) {
-    var result = $.datepicker.formatDate('yy-mm-dd', date);
-    var timefmt = 'HH:mm';
-    if (seconds) {
-        timefmt = 'HH:mm:ss';
-    }
-    return result + ' ' + $.datepicker.formatTime(
-        timefmt, {
-            hour: date.getHours(),
-            minute: date.getMinutes(),
-            second: date.getSeconds()
-        }
-    );
-};
-
 /**
  * Toggle the Datetimepicker UI if the date value entered
  * by the user in the 'text box' is not going to be accepted
 
@@ -0,0 +1,23 @@
+import $ from 'jquery';
+
+/**
+ * Formats timestamp for display
+ *
+ * @param {Date} date
+ * @param {boolean} seconds
+ * @return {string}
+ */
+export default function formatDateTime (date, seconds = false) {
+    var result = $.datepicker.formatDate('yy-mm-dd', date);
+    var timefmt = 'HH:mm';
+    if (seconds) {
+        timefmt = 'HH:mm:ss';
+    }
+    return result + ' ' + $.datepicker.formatTime(
+        timefmt, {
+            hour: date.getHours(),
+            minute: date.getMinutes(),
+            second: date.getSeconds()
+        }
+    );
+}