From 45ec0b601a3566829e8db1ee29db5190666ca760 Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Tue, 11 Sep 2007 08:18:50 +0000
Subject: [PATCH] exclude 5.0 non production releases too (5.0.0 - 5.0.14)

---
 libraries/common.inc.php | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index ef92a879a..a40e47c3a 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -819,13 +819,15 @@ if (! defined('PMA_MINIMUM_COMMON')) {
 
         /**
          * with phpMyAdmin 3 we do not support MySQL < 5
-         * but at the current time i suggest checking only >= 4.1.7
-         * (4.1.7 is the first production version)
-         * (4.1. is the oldest version currently supported by MySQL)
+         * but at the current time i suggest include 4.1 too
+         * but only productione releases:
+         *  - > 4.1.7 < 5.0.0
+         *  - > 5.0.15
          * cybot_tm
          */
-        if (PMA_MYSQL_INT_VERSION < 40107) {
-            PMA_fatalError('strUpgrade', array('MySQL', '5.0'));
+        if (PMA_MYSQL_INT_VERSION < 40107
+         || (PMA_MYSQL_INT_VERSION >= 50000 && PMA_MYSQL_INT_VERSION < 50015)) {
+            PMA_fatalError('strUpgrade', array('MySQL', '5.0.15'));
         }
 
         @ini_set('track_errors', $bkp_track_err);