Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 331ddab02590275f9d6c4679ba43f242be244e50,8204cf984d61b6248ea55e9fb3321db628efb116..10d9cd5132fe16fa05c0b97d3e804832e8d483dd
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -18,9 -14,10 +18,11 @@@ PH
    . Fixed bug #74993 (Wrong reflection on some locale_* functions). (Sara)
  
  - Mbstring:
 +  . Fixed bug #69267 (mb_strtolower fails on titlecase characters). (Nikita)
    . Fixed bug #71606 (Segmentation fault mb_strcut with HTML-ENTITIES encoding).
      (cmb)
+   . Fixed bug #62934 (mb_convert_kana() does not convert iteration marks).
+     (Nikita)
  
  - MySQLi:
    . Fixed bug #74968 (PHP crashes when calling mysqli_result::fetch_object with