small hack: that way the sockets stuff works, but must be improved

defines.inc.php3

@@ -46,6 +46,8 @@ if (!defined('PMA_WINDOWS')) {
     }
 }
 
+if (!$nomysql) {  // small hack (temporary)
+
 // MySQL Version
 if (!defined('MYSQL_MAJOR_VERSION')) {
     if (!empty($server)) {
@@ -68,4 +70,6 @@ if (!defined('MYSQL_MAJOR_VERSION')) {
         define('MYSQL_MINOR_VERSION', 0);
     } // end if
 }
+
+}
 ?>