phppgadmin/phppgadmin — pull request #3 by DeyV (2012-05-18 11:17:44+00:00)
Title: PHP 5.4

Hi.

Small Fixes