From b4eac4ea1bec5027fb409340b6cd9f5bfa84aff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@novell.com>
Date: Fri, 2 Apr 2010 08:38:48 +0200
Subject: [PATCH] Add missing jQuery include.

---
 navigation.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/navigation.php b/navigation.php
index 8fcc7abb4..82f7f9507 100644
--- a/navigation.php
+++ b/navigation.php
@@ -151,6 +151,7 @@ require_once './libraries/header_http.inc.php';
     <base target="frame_content" />
     <link rel="stylesheet" type="text/css"
         href="phpmyadmin.css.php?<?php echo PMA_generate_common_url('', ''); ?>&amp;js_frame=left&amp;nocache=<?php echo $GLOBALS['PMA_Config']->getThemeUniqueValue(); ?>" />
+    <script src="./js/jquery/jquery-1.4.2-min.js" type="text/javascript"></script>
     <script type="text/javascript" src="js/navigation.js"></script>
     <script type="text/javascript" src="js/functions.js"></script>
     <script type="text/javascript">