According to this upstream bug https://sourceforge.net/tracker/?func=detail&aid=2954087&group_id=37132&atid=418980
phppgadmin 4.x isn't supposed to work on php 5.3. I'd suggest patching Misc.php as Alan suggests. That is what I've done as well to make phppgadmin work, and it doesn't change the actual functionality at all. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
