[PHP-WEBMASTER] com web/rmtools: Add config for PHP 8.0: data/config/branch/x64/php80.ini data/config/branch/x86/php80.ini

2020-10-15 Thread Christoph Michael Becker
Commit:6bdb69bbb5163be565cd059f3fdfa2c907aeeda5 Author:Shivam Mathur Thu, 15 Oct 2020 16:04:57 +0530 Committer: Christoph M. Becker Thu, 15 Oct 2020 13:48:01 +0200 Parents: 7bc1c7900fba8b34932a0618d75f37a0b649e394 Branches: master Link: http://git.php.net/?p=web/

[PHP-WEBMASTER] com web/rmtools: PHP 8.0 has been branched; update PECL config: bin/pecl_build_discord.bat data/config/pecl/pecl80_x64.ini data/config/pecl/pecl80_x86.ini

2020-10-15 Thread Christoph Michael Becker
Commit:da9fd19695c8bb23671180d192b476f1acf5c80a Author:Christoph M. Becker Thu, 15 Oct 2020 14:35:15 +0200 Parents: 6bdb69bbb5163be565cd059f3fdfa2c907aeeda5 Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=da9fd19695c8bb23671180d192b476f1acf5c

[PHP-WEBMASTER] com web/rmtools: Be more resilient: script/pecl.php

2020-10-15 Thread Christoph Michael Becker
Commit:450ab890e418196db2e854317dfdcc659a6a05ce Author:Christoph M. Becker Thu, 15 Oct 2020 15:27:09 +0200 Parents: da9fd19695c8bb23671180d192b476f1acf5c80a Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=450ab890e418196db2e854317dfdcc659a6a0