Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 1377e3417055e750be3ffe7606a1d055e9ecce81,1c4ce6fe5d88cf61eaa19be5ba24e8f5152d7770..579d435c7296b3d8ae2017066965c1a504d6f9c5
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -31,8 -19,10 +31,10 @@@ PH
  - Standard:
    . Fixed bug #76342 (file_get_contents waits twice specified timeout).
      (Thomas Calvet)
+   . Fixed bug #78612 (strtr leaks memory when integer keys are used and the
+     subject string shorter). (Nikita)
  
 -26 Sep 2019, PHP 7.2.23
 +26 Sep 2019, PHP 7.3.10
  
  - Core:
    . Fixed bug #78220 (Can't access OneDrive folder). (cmb, ab)

diff --cc ext/standard/string.c
Simple merge