1 files changed, 1 insertions, 0 deletions
diff --git a/pmd_general.php b/pmd_general.php
index d010a00077..366f5dd9af 100644
--- a/pmd_general.php
+++ b/pmd_general.php
@@ -33,6 +33,7 @@ $hidden           = "hidden";
     // <![CDATA[
 <?php
 echo '
+    var server = "' . PMA_escapeJsString($server) . '";
     var db = "' . PMA_escapeJsString($db) . '";
     var token = "' . PMA_escapeJsString($token) . '";
     var LangSelectReferencedKey = "' . PMA_escapeJsString($strSelectReferencedKey) . '";