Bug#915699: phppgadmin is not compatible with php 7

2018-12-06 Thread Jehan-Guillaume (ioguix) de Rorthais
It seems the main project leader came back to maintain the project. See: https://xzilla.net//blog/2018/Nov/The-Ghost-of-phpPgAdmin.html According to this blog post, support for PHP 7 is expected soon or later. On Thu, 06 Dec 2018 09:45:09 +0100 Ladislav Wartha wrote: > Package: phppgadmin > S

Bug#915699: phppgadmin is not compatible with php 7

2018-12-06 Thread Ladislav Wartha
Package: phppgadmin Severity: grave Tags: patch Justification: renders package unusable Dear Maintainer, * What led up to the situation? Simply PHP 7.0 stopped accepting old syntax of php 5, and php 7 is now default * What exactly did you do (or not do) that was effective (or