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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

