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
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
|
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
Comment by Sergej Pupykin (sergej) -
Wednesday, 10 January 2018, 12:33 GMT
should fixed in phppgadmin-5.1-4