This bug was fixed in the package phppgadmin - 5.1+ds-1ubuntu1
--------------- phppgadmin (5.1+ds-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1564569).
-- Nishanth Aravamudan <email address hidden> Thu, 31 Mar 2016 11:46:36 -0700
This bug was fixed in the package phppgadmin - 5.1+ds-1ubuntu1
---------------
phppgadmin (5.1+ds-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1564569).
-- Nishanth Aravamudan <email address hidden> Thu, 31 Mar 2016 11:46:36 -0700