Oh, now I see the problem. Hmm.
Yes, I think you are on the right track. Maybe something sort of this (un-validated) code?:
file ext_db_pgsql.inc contains:
<?php
require_once 'db_pgsql.inc';
class OurPG_DB extends DB_Sql
{
var $Host='ourPGSQLhost';
// ...
}
?>
and ext_db_mysql.inc contains:
<?php
require_once 'db_mysql.inc';
class OurMY_DB extends DB_Sql
{
var $Host='ourMYSQLhost';
// ...
}
?>
Hopefully, you should then be able to include both ext_db_pgsql.inc and ext_db_mysql.inc in the same PHP file.
Please give a summary when you find the solution.