Proposed fix for bug 16937: pg_version() missing server version due to PHP bug.
authorTim Starling <tstarling@users.mediawiki.org>
Mon, 11 May 2009 11:35:52 +0000 (11:35 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Mon, 11 May 2009 11:35:52 +0000 (11:35 +0000)
commit1caee6915bd21a1e5c4b06763872da8776b6cd33
tree51350cdbc66529876915b52161222a05440d1528
parentf22735c9f6e2cb9f808c3d2280b770b50f3e44ea
Proposed fix for bug 16937: pg_version() missing server version due to PHP bug.
includes/db/DatabasePostgres.php