Merge branch 'PHP-7.2' into PHP-7.3

diff --cc ext/mysqlnd/mysqlnd_ps_codec.c
Simple merge

diff --cc ext/pdo_mysql/mysql_statement.c
Simple merge

diff --cc ext/pdo_mysql/tests/bug_44707.phpt
Simple merge