Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #78473: odbc_close() closes arbitrary resources

diff --cc NEWS
index 515f423160f176e8d846df12a93884b9250e3d26,838f1d23e8dcf4cdc4af78f1a5b9891054aa766b..fc7bc2f7848543ec330e62cd71df9bcfd3aab48a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -23,7 -11,10 +23,10 @@@ PH
    . Fixed connect_attr issues and added the _server_host connection attribute.
      (Qianqian Bu)
  
 -29 Aug 2019, PHP 7.2.22
+ - ODBC:
+   . Fixed bug #78473 (odbc_close() closes arbitrary resources). (cmb)
+ 
 +29 Aug 2019, PHP 7.3.9
  
  - Core:
    . Fixed bug #78363 (Buffer overflow in zendparse). (Nikita)

diff --cc ext/odbc/php_odbc.c
Simple merge