Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/functions.js')
-rw-r--r--js/src/functions.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/js/src/functions.js b/js/src/functions.js
index 737a16321a..8f8307fadc 100644
--- a/js/src/functions.js
+++ b/js/src/functions.js
@@ -1,3 +1,4 @@
+/* global Navigation */
/* global isStorageSupported */ // js/config.js
/* global ChartType, ColumnType, DataTable, JQPlotChartFactory */ // js/chart.js
/* global DatabaseStructure */ // js/database/structure.js