[PHP-WEBMASTER] com web/rmtools: PHP 7.3 has been released: bin/pecl_build_all.bat

Commit:0485f003d0178eba59b6eb9a2e7f2f754e2ccee8 Author:Anatol Belski Fri, 7 Dec 2018 19:25:52 +0100 Parents: 68c53c1f7fa3c8843ad13d5babc730f13efb94be Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=0485f003d0178eba59b6eb9a2e7f2f754e2ccee8

[PHP-WEBMASTER] com web/master: Refactor each() function to foreach(): include/login.inc scripts/rss_parser

Commit:bce0f6fa023edad1b61285bea51b554a00ab488b Author:Peter Kokot Fri, 7 Dec 2018 13:24:23 +0100 Parents: 79586cd22edce0fbe4397102574c6e881dba2f10 Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=bce0f6fa023edad1b61285bea51b554a00ab488b Log:

[PHP-WEBMASTER] com web/master: Sync indentation levels and style in mirrors.php: manage/mirrors.php

Commit:2a9adbffe9540717debf5cac10407769d574 Author:Peter Kokot Fri, 7 Dec 2018 13:00:30 +0100 Parents: b7e19fb2c7d2e20a698cec82330d2876c4852a1b Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=2a9adbffe9540717debf5cac10407769d574 Log:

[PHP-WEBMASTER] com web/master: Add PHP 7.3 to mirrors lists: manage/mirrors.php

Commit:79586cd22edce0fbe4397102574c6e881dba2f10 Author:Peter Kokot Fri, 7 Dec 2018 13:03:41 +0100 Parents: 2a9adbffe9540717debf5cac10407769d574 Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=79586cd22edce0fbe4397102574c6e881dba2f10 Log:

[PHP-WEBMASTER] com web/php: Update links in release announcements: archive/entries/2018-12-06-1.xml releases/7_3_0.php

Commit:dbc3ea2583bee83b14dc724e2b9bc2bff129d3ac Author:Christoph M. Becker Fri, 7 Dec 2018 10:11:43 +0100 Parents: 98feca68ec2714d9be1bf1c25743dcd457e2e7d2 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=dbc3ea2583bee83b14dc724e2b9bc2bff129d3ac