Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fixed bug #75368 (mmap/munmap trashing on unlucky allocations)

diff --cc NEWS
index c3d31055dd4242d126331a7e0c3a4f1090c62f61,b2d4c90025baed53789d29785ec0e78632edbfd0..7d6db75536faa7f2a7cda2556df49903ecc7e673
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,10 -1,11 +1,14 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2017, PHP 7.1.12
 +?? ??? ????, PHP 7.2.0RC5
 +
 +- Fileinfo:
 +  . Upgrade bundled libmagic to 5.31. (Anatol)
  
+ - Core:
+   . Fixed bug #75368 (mmap/munmap trashing on unlucky allocations). (Nikita,
+     Dmitry)
+ 
  - Exif:
    . Fixed bug #75301 (Exif extension has built in revision version). (Peter
      Kokot)

diff --cc Zend/zend_alloc.c
Simple merge