PHP3 extension for MySQL database access 