FS#55479 - [phppgadmin] Does not work at all with current PHP 7.1

Attached to Project: Community Packages
Opened by Nikos Platis (nplatis) - Saturday, 02 September 2017, 20:34 GMT
Last edited by Sergej Pupykin (sergej) - Thursday, 15 March 2018, 12:23 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Sergej Pupykin (sergej)
Architecture All
Severity High
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description: phppgadmin does not work at all with PHP 7.1. It seems it is a bug of the software (see, for example, https://github.com/phppgadmin/phppgadmin/pull/35 which is not fixed) but I cannot see how a non-working package can be shipped.
This task depends upon

Closed by  Sergej Pupykin (sergej)
Thursday, 15 March 2018, 12:23 GMT
Reason for closing:  Fixed
Comment by Sergej Pupykin (sergej) - Wednesday, 10 January 2018, 12:33 GMT
should fixed in phppgadmin-5.1-4

Loading...