PHP3 extension for MySQL databases