Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix bug #77646

Author: jedisct1

NEWS

@@ -6,7 +6,7 @@ PHP                                                                        NEWS
   . 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)
 
 21 Feb 2019, PHP 7.3.3