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/table/structure.js')
-rw-r--r--js/src/table/structure.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/js/src/table/structure.js b/js/src/table/structure.js
index 526b5ec2e1..ee6c1b5691 100644
--- a/js/src/table/structure.js
+++ b/js/src/table/structure.js
@@ -7,6 +7,7 @@
* @required js/functions.js
*/
+/* global Navigation */
/* global sprintf */ // js/vendor/sprintf.js
/**