PostgreSQL DB driver extension for the CodeIgniter PHP framework