00001 <?php
00002
00003
00004
00011 if (!defined('PMA_MYSQL_INT_VERSION') && isset($userlink)) {
00012 if (!empty($server)) {
00013 $result = PMA_mysql_query('SELECT VERSION() AS version', $userlink);
00014 if ($result != FALSE && @mysql_num_rows($result) > 0) {
00015 $row = PMA_mysql_fetch_array($result);
00016 $match = explode('.', $row['version']);
00017 mysql_free_result($result);
00018 }
00019 }
00020
00021 if (!isset($match) || !isset($match[0])) {
00022 $match[0] = 3;
00023 }
00024 if (!isset($match[1])) {
00025 $match[1] = 23;
00026 }
00027 if (!isset($match[2])) {
00028 $match[2] = 32;
00029 }
00030
00031 if(!isset($row)) {
00032 $row['version'] = '3.23.32';
00033 }
00034
00035 define('PMA_MYSQL_INT_VERSION', (int)sprintf('%d%02d%02d', $match[0], $match[1], intval($match[2])));
00036 define('PMA_MYSQL_STR_VERSION', $row['version']);
00037 unset($result, $row, $match);
00038 }
00039
00040 ?>