Update lib/mysql.php