Merge branch 'PHP-7.2'

* PHP-7.2:
  NEWS
  display headers (buildtime) and library (runtime) versions in phpinfo (libzip >= 1.3.1)

diff --cc ext/zip/config.m4
Simple merge

diff --cc ext/zip/php_zip.c
Simple merge

diff --cc ext/zip/php_zip.h
Simple merge