Re: [PHP-DEV] Using [ci skip]

2019-06-11 Thread Scott Dutton
Hi Joe Is there any reason why something like the following isnt run instead ? runTests=$(git diff origin/master... --name-only --diff-filter=ACMR -- ':(exclude)docs/*' | wc -l) if [[ "${runTests}" -gt 0 ]]; then ./run-tests.sh fi ~ Which says if the diff contains files outside of /docs

Re: [PHP-DEV] [RFC] Base convert changes

2019-06-11 Thread Scott Dutton
Hi all, I plan to put this to vote early next week with the two options One vote for the invalid char deprecation for php7.4 and Exception in PHP8 One vote for negative numbers PHP8 only - due to BC concerns Thanks Scott -- PHP Internals - PHP Runtime Development Mailing List To unsubscrib

Re: [PHP-DEV] Wiki display problem

2019-06-11 Thread Christoph M. Becker
On 11.06.2019 at 13:07, Sascha Schumann wrote: > Cert is fixed on the machine now. Thanks! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] Wiki display problem

2019-06-11 Thread Sascha Schumann
Cert is fixed on the machine now. Sascha -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] Wiki display problem

2019-06-11 Thread Christoph M. Becker
On 11.06.2019 at 12:34, Sascha Schumann wrote: > Cannot we nuke that subdomain? > > # ls -la /local/www/sites/downloads.php.net/ > total 8 > drwxr-xr-x 2 root root 4096 Nov 6 2014 . > drwxr-xr-x 4 root root 4096 Jul 18 2018 .. > > The apache config apparently just redirects everything somewhere

Re: [PHP-DEV] Wiki display problem

2019-06-11 Thread Sascha Schumann
Cannot we nuke that subdomain? # ls -la /local/www/sites/downloads.php.net/ total 8 drwxr-xr-x 2 root root 4096 Nov 6 2014 . drwxr-xr-x 4 root root 4096 Jul 18 2018 .. The apache config apparently just redirects everything somewhere else. Sascha -- PHP Internals - PHP Runtime Development Ma

Re: [PHP-DEV] Wiki display problem

2019-06-11 Thread Christoph M. Becker
On 03.06.2019 at 15:46, Sascha Schumann wrote: > Looks better now. Sascha, could you please have a look at the downloads.php.net certificate? This has expired on June 3rd as well. Thanks, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.n