[PHP-DEV] Zip extension tests aren't being running in GCOV

2018-08-07 Thread Gabriel Caruso
Internals, Recently, during some tests clean up, I've fixed some SKIPIF sections in our tests, and due to this work ( http://gcov.php.net/viewer.php?version=PHP_HEAD&func=skip&file=ext%2Ffileinfo%2Ftests%2Ffinfo_file_stream_001.phpt), I noticed that we aren't running our Zip extension tests in GCO

Re: [PHP-DEV] NEWS vs. UPGRADING

2018-08-07 Thread Stanislav Malyshev
Hi! > Do we have clear rules which changes are supposed to be listed in NEWS, > and which ones in UPGRADING? Bugfixes to bugs in the bug tracker and other bugs worth mentioning go to NEWS, so do substantial enhancements. Stuff affecting BC goes to UPGRADING, and also everything that fits into th

[PHP-DEV] NEWS vs. UPGRADING

2018-08-07 Thread Christoph M. Becker
Hi! Do we have clear rules which changes are supposed to be listed in NEWS, and which ones in UPGRADING? -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-07 Thread Christoph M. Becker
On 07.08.2018 at 22:10, Sara Golemon wrote: > On Tue, Aug 7, 2018 at 1:17 PM, Tymoteusz Motylewski > wrote: > >> - Its not possible to log in, be notified when sth change on issues > > Incorrect. Any issue you comment on will email you (assuming you've > provided a valid email address) on any cha

Re: [PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-07 Thread Sara Golemon
On Tue, Aug 7, 2018 at 1:17 PM, Tymoteusz Motylewski wrote: > tl;dr > In my opinion: > Current bug tracker is terrible. Moving to a better/modern bug tracker > should be a high priority of the PHP community. > That's a bit harsh, but I get your point, it's a getting to be... long in the tooth, sha

[PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-07 Thread Tymoteusz Motylewski
Hi, Thank you all for the great work you do for PHP! I would like to raise a concern regarding the usefulness of the current PHP issue tracker - bugs.php.net. tl;dr In my opinion: Current bug tracker is terrible. Moving to a better/modern bug tracker should be a high priority of the PHP community.