Bug#907583: php7.0-json: The file /usr/share/php/Services/JSON.php triggers PHP deprecation warnings, file /usr/share/php/Services/JSON.php

2018-08-30 Thread Georges Khaznadar
Thank you for this reassignment, Ondřej! So things become clear to me, and I can attach the patch to fix the bug. Best regards, Georges. Ondřej Surý a écrit : > Control: reassign -1 php-services-json > > The file belongs to php-services-json package. > > Ondrej > -- > Ondřej

Bug#907583: php7.0-json: The file /usr/share/php/Services/JSON.php triggers PHP deprecation warnings, file /usr/share/php/Services/JSON.php

2018-08-29 Thread Ondřej Surý
Control: reassign -1 php-services-json The file belongs to php-services-json package. Ondrej -- Ondřej Surý ond...@sury.org > On 29 Aug 2018, at 20:49, Georges Khaznadar wrote: > > Package: php7.0-json > Version: 7.0.29-1+b2 > Severity: normal > > Dear Maintainer, > > When upgrading one

Bug#907583: php7.0-json: The file /usr/share/php/Services/JSON.php triggers PHP deprecation warnings, file /usr/share/php/Services/JSON.php

2018-08-29 Thread Georges Khaznadar
Package: php7.0-json Version: 7.0.29-1+b2 Severity: normal Dear Maintainer, When upgrading one server from PHP5 to PHP7.0, and fixing problems which this could create, I found that one of the services throwed lots of warnings like: "Methods with the same name as their class will not be