DevHeads.net

com web/php: 7.3.1 is a security release: archive/entries/2019-01-10-2.xml releases/7_3_1.php

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

Log:
7.3.1 is a security release

Changed paths:
M archive/entries/2019-01-10-2.xml
M releases/7_3_1.php

Diff:
diff --git a/archive/entries/2019-01-10-2.xml b/archive/entries/2019-01-10-2.xml
index db7baa5..71f8d09 100644
--- a/archive/entries/2019-01-10-2.xml
+++ b/archive/entries/2019-01-10-2.xml
@@ -13,7 +13,7 @@
<h1>PHP 7.3.1 Release Announcement</h1>

<p>The PHP development team announces the immediate availability of PHP
- 7.3.1. This is a bugfix release, with several bug fixes included.</p>
+ 7.3.1. This is a security release which also contains several bug fixes.</p>

<p>All PHP 7.3 users are encouraged to upgrade to this version.</p>

diff --git a/releases/7_3_1.php b/releases/7_3_1.php
index 57d346f..14fdfa2 100644
--- a/releases/7_3_1.php
+++ b/releases/7_3_1.php
@@ -7,7 +7,7 @@ site_header("PHP 7.3.1 Release Announcement");
<h1>PHP 7.3.1 Release Announcement</h1>

<p>The PHP development team announces the immediate availability of PHP
- 7.3.1. This is a bugfix release, with several bug fixes included.</p>
+ 7.3.1. This is a security release which also contains several bug fixes.</p>

<p>All PHP 7.3 users are encouraged to upgrade to this version.</p>