From 807d03cd336c4b4e3e5b678a114fb9ee7e84ade5 Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Thu, 11 Jun 2020 12:53:19 +0200
Subject: [PATCH] Announce 7.3.19

---
 ChangeLog-7.php                  | 30 ++++++++++++++++++++++++++
 archive/archive.xml              |  1 +
 archive/entries/2020-06-11-1.xml | 24 +++++++++++++++++++++
 include/releases.inc             | 37 ++++++++++++++++++++++++++++++++
 include/version.inc              | 12 +++++------
 releases/7_3_19.php              | 19 ++++++++++++++++
 6 files changed, 117 insertions(+), 6 deletions(-)
 create mode 100644 archive/entries/2020-06-11-1.xml
 create mode 100644 releases/7_3_19.php

diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index f97406838..2ce36a6f8 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -888,6 +888,36 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change
 
 <a name="PHP_7_3"></a>
 
+<section class="version" id="7.3.19"><!-- {{{ 7.3.19 -->
+<h3>Version 7.3.19</h3>
+<b><?php release_date('11-Jun-2020'); ?></b>
+<ul><li>Core:
+<ul>
+  <li><?php bugfix(79566); ?> (Private SHM is not private on Windows).</li>
+  <li><?php bugfix(79489); ?> (.user.ini does not inherit).</li>
+</ul></li>
+<li>GD:
+<ul>
+  <li><?php bugfix(79615); ?> (Wrong GIF header written in GD GIFEncode).</li>
+</ul></li>
+<li>MySQLnd:
+<ul>
+  <li><?php bugfix(79596); ?> (MySQL FLOAT truncates to int some locales).</li>
+</ul></li>
+<li>Opcache:
+<ul>
+  <li><?php bugfix(79535); ?> (PHP crashes with specific opcache.optimization_level).</li>
+  <li><?php bugfix(79588); ?> (Boolean opcache settings ignore on/off values).</li>
+</ul></li>
+<li>Standard:
+<ul>
+  <li><?php bugfix(79561); ?> (dns_get_record() fails with DNS_ALL).</li>
+</ul></li>
+</ul>
+<!-- }}} --></section>
+
+
+
 <section class="version" id="7.3.18"><!-- {{{ 7.3.18 -->
 <h3>Version 7.3.18</h3>
 <b><?php release_date('14-May-2020'); ?></b>
diff --git a/archive/archive.xml b/archive/archive.xml
index 2a6fd50ac..394239914 100644
--- a/archive/archive.xml
+++ b/archive/archive.xml
@@ -9,6 +9,7 @@
     <uri>http://php.net/contact</uri>
     <email>php-webmaster@lists.php.net</email>
   </author>
+  <xi:include href="entries/2020-06-11-1.xml"/>
   <xi:include href="entries/2020-05-27-1.xml"/>
   <xi:include href="entries/2020-05-19-1.xml"/>
   <xi:include href="entries/2020-05-14-3.xml"/>
diff --git a/archive/entries/2020-06-11-1.xml b/archive/entries/2020-06-11-1.xml
new file mode 100644
index 000000000..25c5a082d
--- /dev/null
+++ b/archive/entries/2020-06-11-1.xml
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="utf-8"?>
+<entry xmlns="http://www.w3.org/2005/Atom">
+  <title>PHP 7.3.19 Released</title>
+  <id>https://www.php.net/archive/2020.php#2020-06-11-2</id>
+  <published>2020-06-11T10:51:02+00:00</published>
+  <updated>2020-06-11T10:51:02+00:00</updated>
+  <link href="https://www.php.net/index.php#id2020-06-11-2" rel="alternate" type="text/html"/>
+  <link href="https://www.php.net/archive/2020.php#2020-06-11-2" rel="via" type="text/html"/>
+  <category term="frontpage" label="PHP.net frontpage news"/>
+  <category term="releases" label="New PHP release"/>
+  <content type="xhtml">
+    <div xmlns="http://www.w3.org/1999/xhtml">
+      <p>The PHP development team announces the immediate availability of PHP
+      7.3.19. This is a bug fix release.</p>
+
+      <p>All PHP 7.3 users are encouraged to upgrade to this version.</p>
+
+      <p>For source downloads of PHP 7.3.19 please visit our <a href="https://www.php.net/downloads.php">downloads page</a>,
+      Windows source and binaries can be found on <a href="https://windows.php.net/download/">windows.php.net/download/</a>.
+      The list of changes is recorded in the <a href="https://www.php.net/ChangeLog-7.php#7.3.19">ChangeLog</a>.
+      </p>
+    </div>
+  </content>
+</entry>
diff --git a/include/releases.inc b/include/releases.inc
index b6f84b7c5..43f6a735d 100644
--- a/include/releases.inc
+++ b/include/releases.inc
@@ -2,6 +2,43 @@
 $OLDRELEASES = array (
   7 => 
   array (
+    '7.3.18' => 
+    array (
+      'announcement' => 
+      array (
+        'English' => '/releases/7_3_18.php',
+      ),
+      'tags' => 
+      array (
+        0 => 'security',
+      ),
+      'date' => '14 May 2020',
+      'source' => 
+      array (
+        0 => 
+        array (
+          'filename' => 'php-7.3.18.tar.bz2',
+          'name' => 'PHP 7.3.18 (tar.bz2)',
+          'sha256' => '749d21f65deb57153b575f846705f5db54732c6b672e80612b29dcf1a53be8a4',
+          'date' => '14 May 2020',
+        ),
+        1 => 
+        array (
+          'filename' => 'php-7.3.18.tar.gz',
+          'name' => 'PHP 7.3.18 (tar.gz)',
+          'sha256' => '3211d5d6ea8a27c2794498a551bf26e334bc2b986741971809c9bb650eaa47a3',
+          'date' => '14 May 2020',
+        ),
+        2 => 
+        array (
+          'filename' => 'php-7.3.18.tar.xz',
+          'name' => 'PHP 7.3.18 (tar.xz)',
+          'sha256' => '7b3e2479a8d6fd7666dcdef8aec50d49c4599cc6ee86e48d41724cfd99cc9e58',
+          'date' => '14 May 2020',
+        ),
+      ),
+      'museum' => false,
+    ),
     '7.4.5' => 
     array (
       'announcement' => 
diff --git a/include/version.inc b/include/version.inc
index 32641b0cb..e5234ddd2 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -27,13 +27,13 @@ $RELEASES = (function() {
     );
 
     /* PHP 7.3 Release */
-    $PHP_7_3_VERSION         = "7.3.18";
-    $PHP_7_3_DATE            = "14 May 2020";
-    $PHP_7_3_TAGS            = ['security']; // Set to ['security'] for security releases.
+    $PHP_7_3_VERSION         = "7.3.19";
+    $PHP_7_3_DATE            = "11 Jun 2020";
+    $PHP_7_3_TAGS            = []; // Set to ['security'] for security releases.
     $PHP_7_3_SHA256     = array(
-        "tar.bz2"       => "749d21f65deb57153b575f846705f5db54732c6b672e80612b29dcf1a53be8a4",
-        "tar.gz"        => "3211d5d6ea8a27c2794498a551bf26e334bc2b986741971809c9bb650eaa47a3",
-        "tar.xz"        => "7b3e2479a8d6fd7666dcdef8aec50d49c4599cc6ee86e48d41724cfd99cc9e58",
+        "tar.bz2"       => "0d9c1e31e29fb46ff660b48051d169d50cb0285e611d16591449d578320d34a5",
+        "tar.gz"        => "809126b46d62a1a06c2d5a0f9d7ba61aba40e165f24d2d185396d0f9646d3280",
+        "tar.xz"        => "6402faa19b1a8c4317c7612632bce985684a5bbae0980a5779a4019439882422",
     );
 
     /* PHP 7.2 Release */
diff --git a/releases/7_3_19.php b/releases/7_3_19.php
new file mode 100644
index 000000000..5389c25fe
--- /dev/null
+++ b/releases/7_3_19.php
@@ -0,0 +1,19 @@
+<?php
+$_SERVER['BASE_PAGE'] = 'releases/7_3_19.php';
+include_once __DIR__ . '/../include/prepend.inc';
+site_header("PHP 7.3.19 Release Announcement");
+?>
+
+  <h1>PHP 7.3.19 Release Announcement</h1>
+
+  <p>The PHP development team announces the immediate availability of PHP
+  7.3.19. This is a bug fix release.</p>
+
+  <p>All PHP 7.3 users are encouraged to upgrade to this version.</p>
+
+  <p>For source downloads of PHP 7.3.19 please visit our <a href="https://www.php.net/downloads.php">downloads page</a>,
+  Windows source and binaries can be found on <a href="https://windows.php.net/download/">windows.php.net/download/</a>.
+  The list of changes is recorded in the <a href="https://www.php.net/ChangeLog-7.php#7.3.19">ChangeLog</a>.
+  </p>
+
+<?php site_footer(); ?>