Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix bug #77646

diff --cc NEWS
index 2418b927caa98908ea0a626b025fe19401639f4e,b1280cc2f40c9469bbf4f1debfb6d03bd7b8ba34..66b1603571a695f360de3548829012df540e02b5
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -6,9 -6,9 +6,9 @@@ PH
    . Fixed bug #77597 (mysqli_fetch_field hangs scripts). (Nikita)
  
  - sodium:
-   . Fixed bug #77646 (sign_detached() strings not terminated). (jedisct1)
+   . Fixed bug #77646 (sign_detached() strings not terminated). (Frank)
  
 -07 Mar 2019, PHP 7.2.16
 +21 Feb 2019, PHP 7.3.3
  
  - Core:
    . Fixed bug #77589 (Core dump using parse_ini_string with numeric sections).