Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #80147: BINARY strings may not be properly zero-terminated

diff --cc NEWS
Simple merge

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