This update for phpPgAdmin fixes the following issues:
{ "binaries": [ { "phpPgAdmin-apache": "7.13.0-bp154.2.3.1", "phpPgAdmin": "7.13.0-bp154.2.3.1" } ] }