add DbMysql.php, use the deprecated mysql_ API