diff --git a/pmd_general.php b/pmd_general.php
index f87d62bee..90ed0a8b3 100644
--- a/pmd_general.php
+++ b/pmd_general.php
@@ -43,6 +43,7 @@ $params = array('lang' => $GLOBALS['lang']);
 if (isset($GLOBALS['db'])) {
     $params['db'] = $GLOBALS['db'];
 }
+require_once './libraries/header_scripts.inc.php';
 ?>
     <script src="js/messages.php<?php echo PMA_generate_common_url($params); ?>" type="text/javascript"></script>
     <script src="pmd/scripts/ajax.js" type="text/javascript"></script>