DevHeads.net

Postings by krakjoe

com web/php: 7.1.19RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=bbd56c64d6f5a208fe93d45ae28dc53a1d6f86d0" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=bbd56c64d6f5a208fe93d45ae28dc53a1d6f86d0">http://git.php.net/?p=web/php.git;a=commitdiff;h=bbd56c64d6f5a208fe93d45...</a>

Log:
7.1.19RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 82262cb..3db1cb9 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -32,8 +32,8 @@ $PHP_7_2_SHA256 = array(
);

/* PHP 7.1 Release */
-$PHP_7_1_RC = "7.1.18RC1"; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "10 May 2018";
+$PHP_7_1_RC = "7.1.19RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "7 Jun 20

com web/php: 7.1.18 release: ChangeLog-7.php archive/archive.xml archive/entries/2018-05-25-1.xml include/releases.inc include/version.inc releases/7_1_18.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=a161f6e158dafd38d1bfdef302a0488803d98756" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=a161f6e158dafd38d1bfdef302a0488803d98756">http://git.php.net/?p=web/php.git;a=commitdiff;h=a161f6e158dafd38d1bfdef...</a>

Log:
7.1.18 release

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-05-25-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_18.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index af8fc11..4cfad8f 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -5,6 +5,31 @@ include_once $_SERVER['DOCUMENT_ROOT'] .

com web/php: Merge branch 'master' of https://github.com/php/web-php: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=5c3e5d382e633afd7f54737ecdcc96118073cec6" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=5c3e5d382e633afd7f54737ecdcc96118073cec6">http://git.php.net/?p=web/php.git;a=commitdiff;h=5c3e5d382e633afd7f54737...</a>

Log:
Merge branch 'master' of <a href="https://github.com/php/web-php" title="https://github.com/php/web-php">https://github.com/php/web-php</a>

Changed paths:
MM include/version.inc

Diff:

com web/php: 7.1.18RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=0b6e3ffd7df22c0835420d9e029e1ac2aa41330a" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=0b6e3ffd7df22c0835420d9e029e1ac2aa41330a">http://git.php.net/?p=web/php.git;a=commitdiff;h=0b6e3ffd7df22c0835420d9...</a>

Log:
7.1.18RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 4e65349..43cfd5f 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -29,8 +29,8 @@ $PHP_7_2_SHA256 = array(
);

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "15 Mar 2018";
+$PHP_7_1_RC = "7.1.18RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "10 May 2018";

com web/php: 7.1.17 release: ChangeLog-7.php archive/archive.xml archive/entries/2018-04-26-3.xml include/releases.inc include/version.inc releases/7_1_17.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=dccc5f2f53fda851aa3f0816aa930d34dee281d7" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=dccc5f2f53fda851aa3f0816aa930d34dee281d7">http://git.php.net/?p=web/php.git;a=commitdiff;h=dccc5f2f53fda851aa3f081...</a>

Log:
7.1.17 release

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-04-26-3.xml
M include/releases.inc
M include/version.inc
A releases/7_1_17.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index 393f1ca..bee4e1e 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -6,7 +6,61 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change
?>

<h1>PHP 7 ChangeLog</h1>

com web/php: 7.1.16: ChangeLog-7.php archive/archive.xml archive/entries/2018-03-30-2.xml include/releases.inc include/version.inc releases/7_1_16.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=41e9d28b2908ebfa92fc01c6e2eee805fe711c47" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=41e9d28b2908ebfa92fc01c6e2eee805fe711c47">http://git.php.net/?p=web/php.git;a=commitdiff;h=41e9d28b2908ebfa92fc01c...</a>

Log:
7.1.16

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-03-30-2.xml
M include/releases.inc
M include/version.inc
A releases/7_1_16.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index 1811236..18097b0 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -7,6 +7,43 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change

<h1>PHP 7 ChangeLog</h1>

+<section class="version" id="7.1.16"><!-- {{{ 7.1.1

com web/php: php-7.1.16RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=83d3b0124356cb1ff5ff8569ef93cad5a97c8bbc" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=83d3b0124356cb1ff5ff8569ef93cad5a97c8bbc">http://git.php.net/?p=web/php.git;a=commitdiff;h=83d3b0124356cb1ff5ff856...</a>

Log:
php-7.1.16RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 48473cd..83376ed 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -29,8 +29,8 @@ $PHP_7_2_SHA256 = array(
);

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "15 Feb 2018";
+$PHP_7_1_RC = "7.1.16RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "15 Mar 201

com web/php: 7.1.15: ChangeLog-7.php archive/archive.xml archive/entries/2018-03-02-1.xml include/releases.inc include/version.inc releases/7_1_15.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=ffa80544cff0afd64267549906c75a7b76567aca" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=ffa80544cff0afd64267549906c75a7b76567aca">http://git.php.net/?p=web/php.git;a=commitdiff;h=ffa80544cff0afd64267549...</a>

Log:
7.1.15

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-03-02-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_15.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index b1f3bc9..0368156 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -64,6 +64,52 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change
</ul>
<!-- }}} --></section>

+<section class="version" id="7.1.15"><!-- {{{

com web/php: 7.1.13RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=272e6022babe200cf875a3a7e4faa83d0207558f" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=272e6022babe200cf875a3a7e4faa83d0207558f">http://git.php.net/?p=web/php.git;a=commitdiff;h=272e6022babe200cf875a3a...</a>

Log:
7.1.13RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 35c47af..5044486 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -29,8 +29,8 @@ $PHP_7_2_SHA256 = array(
);

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "09 Nov 2017";
+$PHP_7_1_RC = "7.1.13RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "07 December 20

com web/php: 7.1.12: ChangeLog-7.php archive/archive.xml archive/entries/2017-11-24-1.xml include/releases.inc include/version.inc releases/7_1_12.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=3b69ca8b0fe2cf2ecf51b28decf90bb6c850487c" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=3b69ca8b0fe2cf2ecf51b28decf90bb6c850487c">http://git.php.net/?p=web/php.git;a=commitdiff;h=3b69ca8b0fe2cf2ecf51b28...</a>

Log:
7.1.12

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2017-11-24-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_12.php

com web/php: 7.1.12: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=8e3d5c90651ab2ec31ca95e6c30ced1c2cc4633b" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=8e3d5c90651ab2ec31ca95e6c30ced1c2cc4633b">http://git.php.net/?p=web/php.git;a=commitdiff;h=8e3d5c90651ab2ec31ca95e...</a>

Log:
7.1.12

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index 2cb9dab..4b6c8b5 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 2cb9dabdd51875f437544966fa877976776e4129
+Subproject commit 4b6c8b51ce8b3c7d72733df12581603406445584

com web/php-distributions: 7.1.12: php-7.1.12.tar.bz2 php-7.1.12.tar.bz2.asc php-7.1.12.tar.gz php-7.1.12.tar.gz.asc php-7.1.12.tar.xz php-7.1.12.tar.xz.asc

Link: <a href="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=4b6c8b51ce8b3c7d72733df12581603406445584" title="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=4b6c8b51ce8b3c7d72733df12581603406445584">http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=4b6c8b51c...</a>

Log:
7.1.12

Changed paths:
A php-7.1.12.tar.bz2
A php-7.1.12.tar.bz2.asc
A php-7.1.12.tar.gz
A php-7.1.12.tar.gz.asc
A php-7.1.12.tar.xz
A php-7.1.12.tar.xz.asc

Diff:
diff --git a/php-7.1.12.tar.bz2 b/php-7.1.12.tar.bz2
new file mode 100644
index 0000000..40bbfed
Binary files /dev/null and b/php-7.1.12.tar.bz2 differ
diff --git a/php-7.1.12.tar.bz2.asc b/php-7.1.12.tar.bz2.asc
new file mode 100644
index 0000000..daef316
--- /dev/null
+++ b/php-7.1.12.tar.bz2

com web/php: 7.1.12RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=9708c9b4d3ac915df3608a02afbed2638b3566a7" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=9708c9b4d3ac915df3608a02afbed2638b3566a7">http://git.php.net/?p=web/php.git;a=commitdiff;h=9708c9b4d3ac915df3608a0...</a>

Log:
7.1.12RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 6c1ac80..a3edd43 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "12 Oct 2017";
+$PHP_7_1_RC = "7.1.12RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "09 Nov 2017";

$PHP_7_1_VERSION

com web/php: 7.1.11: ChangeLog-7.php archive/archive.xml archive/entries/2017-10-27-1.xml include/releases.inc include/version.inc releases/7_1_11.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=f216fe3b7a2647560502008a264557f4ff049852" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=f216fe3b7a2647560502008a264557f4ff049852">http://git.php.net/?p=web/php.git;a=commitdiff;h=f216fe3b7a2647560502008...</a>

Log:
7.1.11

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2017-10-27-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_11.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index 020ebec..c3d1220 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -7,6 +7,69 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change

<h1>PHP 7 ChangeLog</h1>

+<section class="version" id="7.1.11"><!-- {{{ 7.1.1

com web/php: 7.1.11 fo' real this time: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=06dd2fb2fccd28cc7a12089c87d30d3990c9b6b0" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=06dd2fb2fccd28cc7a12089c87d30d3990c9b6b0">http://git.php.net/?p=web/php.git;a=commitdiff;h=06dd2fb2fccd28cc7a12089...</a>

Log:
7.1.11 fo' real this time

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index 9c213cd..9fa5aee 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 9c213cdc63283e026727af7f4dd9f8b483cad136
+Subproject commit 9fa5aeeb40a05435252bde19233af48f56031c2c

com web/php-distributions: 7.1.11 fo' real this time: php-7.1.11.tar.bz2 php-7.1.11.tar.bz2.asc php-7.1.11.tar.gz php-7.1.11.tar.gz.asc php-7.1.11.tar.xz php-7.1.11.tar.xz.asc

Link: <a href="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=7a12e70b6efe58bfc44b66c0cc33c3ba40938954" title="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=7a12e70b6efe58bfc44b66c0cc33c3ba40938954">http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=7a12e70b6...</a>

Log:
7.1.11 fo' real this time

Changed paths:
A php-7.1.11.tar.bz2
A php-7.1.11.tar.bz2.asc
A php-7.1.11.tar.gz
A php-7.1.11.tar.gz.asc
A php-7.1.11.tar.xz
A php-7.1.11.tar.xz.asc

Diff:
diff --git a/php-7.1.11.tar.bz2 b/php-7.1.11.tar.bz2
new file mode 100644
index 0000000..23d0db8
Binary files /dev/null and b/php-7.1.11.tar.bz2 differ
diff --git a/php-7.1.11.tar.bz2.asc b/php-7.1.11.tar.bz2.asc
new file mode 100644
index 0000000..8c12aec
--- /dev/null
+++ b

com web/php: 7.1.11: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=2435c357bc7da637abd06e61f138e2ac9310144f" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=2435c357bc7da637abd06e61f138e2ac9310144f">http://git.php.net/?p=web/php.git;a=commitdiff;h=2435c357bc7da637abd06e6...</a>

Log:
7.1.11

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index c744da1..9c213cd 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit c744da186b1a33dbf288373e56ce2b93f5e3fa92
+Subproject commit 9c213cdc63283e026727af7f4dd9f8b483cad136

com web/php: 7.1.11RC1: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=b41c9ba3a20607b4cda602784cda8b9a9f206278" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=b41c9ba3a20607b4cda602784cda8b9a9f206278">http://git.php.net/?p=web/php.git;a=commitdiff;h=b41c9ba3a20607b4cda6027...</a>

Log:
7.1.11RC1

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index 86bbcee..09092cd 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "14 Sep 2017";
+$PHP_7_1_RC = "7.1.11RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "12 Oct 2017";

$PHP_7_1_VERSION

com web/php: 7.1.10 announce: ChangeLog-7.php archive/archive.xml archive/entries/2017-09-29-1.xml include/releases.inc include/version.inc releases/7_1_10.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=91170af6690ced6dba8a7e05cb9b6bce811f5ce5" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=91170af6690ced6dba8a7e05cb9b6bce811f5ce5">http://git.php.net/?p=web/php.git;a=commitdiff;h=91170af6690ced6dba8a7e0...</a>

Log:
7.1.10 announce

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2017-09-29-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_10.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index 8e1c2c9..ae79c1d 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -7,6 +7,59 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change

<h1>PHP 7 ChangeLog</h1>

+<section class="version" id="7.1.10"><!--

com web/php: Merge branch 'master' of https://git.php.net/repository/web/php: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=5934ecd5b10f94fac3858818407c30627418b28f" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=5934ecd5b10f94fac3858818407c30627418b28f">http://git.php.net/?p=web/php.git;a=commitdiff;h=5934ecd5b10f94fac385881...</a>

Log:
Merge branch 'master' of <a href="https://git.php.net/repository/web/php" title="https://git.php.net/repository/web/php">https://git.php.net/repository/web/php</a>

Changed paths:
MM include/version.inc

Diff:

com web/php: php-7.1.10: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=2a88ce28b206aca7fe9913112ed429456cc2b984" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=2a88ce28b206aca7fe9913112ed429456cc2b984">http://git.php.net/?p=web/php.git;a=commitdiff;h=2a88ce28b206aca7fe99131...</a>

Log:
php-7.1.10

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index adbb2e0..c744da1 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit adbb2e089ebe2c5b23a832a27ba57806712eb455
+Subproject commit c744da186b1a33dbf288373e56ce2b93f5e3fa92

com web/php-distributions: php-7.1.10: php-7.1.10.tar.bz2 php-7.1.10.tar.bz2.asc php-7.1.10.tar.gz php-7.1.10.tar.gz.asc php-7.1.10.tar.xz php-7.1.10.tar.xz.asc

Link: <a href="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=c744da186b1a33dbf288373e56ce2b93f5e3fa92" title="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=c744da186b1a33dbf288373e56ce2b93f5e3fa92">http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=c744da186...</a>

Log:
php-7.1.10

Changed paths:
A php-7.1.10.tar.bz2
A php-7.1.10.tar.bz2.asc
A php-7.1.10.tar.gz
A php-7.1.10.tar.gz.asc
A php-7.1.10.tar.xz
A php-7.1.10.tar.xz.asc

Diff:
diff --git a/php-7.1.10.tar.bz2 b/php-7.1.10.tar.bz2
new file mode 100644
index 0000000..fe9445e
Binary files /dev/null and b/php-7.1.10.tar.bz2 differ
diff --git a/php-7.1.10.tar.bz2.asc b/php-7.1.10.tar.bz2.asc
new file mode 100644
index 0000000..f0cd663
--- /dev/null
+++ b/php-7.1.10.tar

com web/php: 7.1 RC: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=a4d3f0ac8001f94843bf2c1dac39ea9131c4af9c" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=a4d3f0ac8001f94843bf2c1dac39ea9131c4af9c">http://git.php.net/?p=web/php.git;a=commitdiff;h=a4d3f0ac8001f94843bf2c1...</a>

Log:
7.1 RC

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index dd12879..6262280 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "20 Jul 2017";
+$PHP_7_1_RC = "7.1.10RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "14 Sep 2017";

$PHP_7_1_VERSION = "

com web/php: 7.1 release: ChangeLog-7.php archive/archive.xml archive/entries/2017-09-01-1.xml include/releases.inc include/version.inc releases/7_1_9.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=841da498730fd7915812d12186f40a91bb9bf1ec" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=841da498730fd7915812d12186f40a91bb9bf1ec">http://git.php.net/?p=web/php.git;a=commitdiff;h=841da498730fd7915812d12...</a>

Log:
7.1 release

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2017-09-01-1.xml
M include/releases.inc
M include/version.inc
A releases/7_1_9.php

com web/php: tarballs 7.1.9: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=d2667578c0eb7145006701fd10551bdab22009d8" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=d2667578c0eb7145006701fd10551bdab22009d8">http://git.php.net/?p=web/php.git;a=commitdiff;h=d2667578c0eb7145006701f...</a>

Log:
tarballs 7.1.9

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index 6d9337b..adbb2e0 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 6d9337ba75e4eebed997d1c11dc57867dc9fe272
+Subproject commit adbb2e089ebe2c5b23a832a27ba57806712eb455

com web/php-distributions: tarballs for 7.1.9: php-7.1.9.tar.bz2 php-7.1.9.tar.bz2.asc php-7.1.9.tar.gz php-7.1.9.tar.gz.asc php-7.1.9.tar.xz php-7.1.9.tar.xz.asc

Link: <a href="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=adbb2e089ebe2c5b23a832a27ba57806712eb455" title="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=adbb2e089ebe2c5b23a832a27ba57806712eb455">http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=adbb2e089...</a>

Log:
tarballs for 7.1.9

Changed paths:
A php-7.1.9.tar.bz2
A php-7.1.9.tar.bz2.asc
A php-7.1.9.tar.gz
A php-7.1.9.tar.gz.asc
A php-7.1.9.tar.xz
A php-7.1.9.tar.xz.asc

Diff:
diff --git a/php-7.1.9.tar.bz2 b/php-7.1.9.tar.bz2
new file mode 100644
index 0000000..4753e27
Binary files /dev/null and b/php-7.1.9.tar.bz2 differ
diff --git a/php-7.1.9.tar.bz2.asc b/php-7.1.9.tar.bz2.asc
new file mode 100644
index 0000000..eb7236d
--- /dev/null
+++ b/php-7.1.9.tar.bz2

com web/php: release 7.1: ChangeLog-7.php archive/archive.xml archive/entries/2017-08-03-3.xml include/releases.inc include/version.inc releases/7_1_8.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=e4e6e9155a32833838bfb8ee4c7231730c92c70f" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=e4e6e9155a32833838bfb8ee4c7231730c92c70f">http://git.php.net/?p=web/php.git;a=commitdiff;h=e4e6e9155a32833838bfb8e...</a>

Log:
release 7.1

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2017-08-03-3.xml
M include/releases.inc
M include/version.inc
A releases/7_1_8.php

Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index 1a30af4..352c8c7 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -7,6 +7,60 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change

<h1>PHP 7 ChangeLog</h1>

+<section class="version" id="7.1.8"><!-- {{{ 7.

com web/php: php 7.1.8: distributions

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=e3c5ee3498a9a96ed97bfecfb75f3eda2475bd77" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=e3c5ee3498a9a96ed97bfecfb75f3eda2475bd77">http://git.php.net/?p=web/php.git;a=commitdiff;h=e3c5ee3498a9a96ed97bfec...</a>

Log:
php 7.1.8

Changed paths:
M distributions

Diff:
diff --git a/distributions b/distributions
index 9cd84c7..652a7aa 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 9cd84c7701db47dd811479edc094872a85d27c8e
+Subproject commit 652a7aa0cf294253245deafe2c414a21e02c8dd5

com web/php-distributions: php 7.1.8: php-7.1.8.tar.bz2 php-7.1.8.tar.bz2.asc php-7.1.8.tar.gz php-7.1.8.tar.gz.asc php-7.1.8.tar.xz php-7.1.8.tar.xz.asc

Link: <a href="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=652a7aa0cf294253245deafe2c414a21e02c8dd5" title="http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=652a7aa0cf294253245deafe2c414a21e02c8dd5">http://git.php.net/?p=web/php-distributions.git;a=commitdiff;h=652a7aa0c...</a>

Log:
php 7.1.8

Changed paths:
A php-7.1.8.tar.bz2
A php-7.1.8.tar.bz2.asc
A php-7.1.8.tar.gz
A php-7.1.8.tar.gz.asc
A php-7.1.8.tar.xz
A php-7.1.8.tar.xz.asc

Diff:
diff --git a/php-7.1.8.tar.bz2 b/php-7.1.8.tar.bz2
new file mode 100644
index 0000000..7b2c247
Binary files /dev/null and b/php-7.1.8.tar.bz2 differ
diff --git a/php-7.1.8.tar.bz2.asc b/php-7.1.8.tar.bz2.asc
new file mode 100644
index 0000000..2f40199
--- /dev/null
+++ b/php-7.1.8.tar.bz2.asc
@@ -

com web/php: 7.1 rc info: include/version.inc

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=4c1cb3943de64d702b7c4d9022a9353cb553719d" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=4c1cb3943de64d702b7c4d9022a9353cb553719d">http://git.php.net/?p=web/php.git;a=commitdiff;h=4c1cb3943de64d702b7c4d9...</a>

Log:
7.1 rc info

Changed paths:
M include/version.inc

Diff:
diff --git a/include/version.inc b/include/version.inc
index e563d71..9495e85 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/

/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "22 Jun 2017";
+$PHP_7_1_RC = "7.1.8RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "20 Jul 2017";

$PHP_7_1_VERSION