Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 05806e23e3e696080af2b0a122b9f8a1546b805e,1277de38a9b5da3f01df31bf3fcf0efe07d04a68..a62c9dd8812627397ac41cd37bc9b05bd3f36ec0
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -14,15 -14,11 +14,19 @@@ PH
    . Fixed bug #77956 (When mysqli.allow_local_infile = Off, use a meaningful
      error message). (Sjon Hortensius)
  
 -30 May 2019, PHP 7.2.19
 +- Opcache:
 +  . Fixed bug #78015 (Incorrect evaluation of expressions involving partials
 +    arrays in SCCP). (Nikita)
 +
+ - Sockets:
+   . Fixed bug #78038 (Socket_select fails when resource array contains
+     references). (Nikita)
+ 
 +16 May 2019, PHP 7.3.6RC1
 +
 +- cURL:
 +  . Implemented FR #72189 (Add missing CURL_VERSION_* constants). (Javier
 +    Spagnoletti)
  
  - FPM:
    . Fixed bug #77934 (php-fpm kill -USR2 not working). (Jakub Zelenka)

diff --cc ext/sockets/sockets.c
Simple merge