Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 6cd4bf3eaecf0e297878ffb8d330287b2fa567c3,6097822b72f3f61329c1cb345caa0b16f5b46da8..c6b1aea1f37529005301a24b57bbe05f4a052f9b
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -20,10 -15,10 +20,14 @@@ PH
    . Fixed bug #73342 (Vulnerability in php-fpm by changing stdin to
      non-blocking). (Nikita)
  
+ - mbstring:
+   . Fixed bug #76532 (Integer overflow and excessive memory usage
+     in mb_strimwidth). (MarcusSchwarz)
+ 
 +- Opcache:
 +  . Fixed bug #76477 (Opcache causes empty return value).
 +    (Nikita, Laruence)
 +
  - phpdbg:
    . Fix arginfo wrt. optional/required parameters. (cmb)