54
54
// Check if MySQL support is present in PHP
55
55
if (!function_exists('pg_connect')) {
56
56
drupal_maintenance_theme();
57
58
drupal_set_title('PHP PostgreSQL support not enabled');
58
59
print theme('maintenance_page', '<p>We were unable to use the PostgreSQL database because the PostgreSQL extension for PHP is not installed. Check your <code>PHP.ini</code> to see how you can enable it.</p>
59
60
<p>For more help, see the <a href="http://drupal.org/node/258">Installation and upgrading handbook</a>. If you are unsure what these terms mean you should probably contact your hosting provider.</p>');