0) { $row = mysql_fetch_array($result); $match = explode('.', $row['version']); } else { $result = @mysql_query('SHOW VARIABLES LIKE \'version\''); if ($result != FALSE && @mysql_num_rows($result) > 0){ $row = mysql_fetch_row($result); $match = explode('.', $row[1]); } } } // end server id is defined case if (!isset($match) || !isset($match[0])) { $match[0] = 3; } if (!isset($match[1])) { $match[1] = 21; } if (!isset($match[2])) { $match[2] = 0; } define('MYSQL_INT_VERSION', (int)sprintf('%d%02d%02d', $match[0], $match[1], intval($match[2]))); unset($match); } ?>