Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #78025: segfault when accessing properties of DOMDocumentType

diff --cc NEWS
index d690c86354b93de8816c24bec2b70685149a7769,2135a42e0ee75a929426e9bd60ff6b3ae0d4af47..a3cd9544edbb0eb64e34f17d89eb7a5a0a5664dd
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -6,15 -6,11 +6,19 @@@ PH
    . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception).
      (Nikita)
  
 -30 May 2019, PHP 7.2.19
+ - DOM:
+   . Fixed bug #78025 (segfault when accessing properties of DOMDocumentType).
+     (cmb)
+ 
 +- Opcache:
 +  . Fixed bug #78015 (Incorrect evaluation of expressions involving partials
 +    arrays in SCCP). (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/dom/documenttype.c
Simple merge