diff -r 112debff64bd -r 5f1cd51bf1be plugins/SpecialPageFuncs.php --- a/plugins/SpecialPageFuncs.php Sat Dec 15 18:10:14 2007 -0500 +++ b/plugins/SpecialPageFuncs.php Tue Dec 18 23:44:55 2007 -0500 @@ -416,9 +416,25 @@ - - Database engine powered by MySQL - + + + Database engine powered by MySQL + + + + Database engine powered by PostgreSQL + + @@ -428,7 +444,23 @@ Web server: Server platform: PHP version: - MySQL version:_conn); ?> + + MySQL version:_conn); ?> + _conn); + $pg_version = $pg_serverdata['server']; + ?> + PostgreSQL version: +