Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #70153 \DateInterval incorrectly unserialized

diff --cc NEWS
Simple merge

diff --cc ext/date/php_date.c
Simple merge

diff --cc ext/date/tests/bug48678.phpt
Simple merge

diff --cc ext/date/tests/bug53437.phpt
Simple merge