From 08c762742f4ce0f12e26118094e855b62b4dab0d Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 15 Aug 2007 08:55:18 +0000
Subject: [PATCH] Release 1.4.0

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@337 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/design.inc.php b/design.inc.php
index f3d07baf..6d66b596 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -9,7 +9,7 @@ function page_header($title, $breadcrumb = array(), $title2 = "") {
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta http-equiv="Content-Script-Type" content="text/javascript" />
 <meta name="robots" content="noindex" />
-<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " 1.4.0-dev"; ?></title>
+<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " 1.4.0"; ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css" /><?php // Ondrej Valka, http://valka.info ?>
 <?php if ($_COOKIE["highlight"] == "jush") { ?>