Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index e4429f7a9b11afdac310bb462db5590277caa19e,bd8d30afeb6cd411a292207b29f335015a39c8db..08f6b37c6e7e514f5173f8800aa578ba307b8b33
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -23,19 -22,17 +23,23 @@@ PH
  - intl:
    . Fixed bug #76942 (U_ARGUMENT_TYPE_MISMATCH). (anthrax at unixuser dot org)
  
 -11 Oct 2018, PHP 7.1.23
 +- Reflection:
 +  . Fixed bug #76936 (Objects cannot access their private attributes while
 +    handling reflection errors). (Nikita)
 +  . Fixed bug #66430 (ReflectionFunction::invoke does not invoke closure with
 +    object scope). (Nikita)
 +
+ - Standard:
+   . Fixed bug #76965 (INI_SCANNER_RAW doesn't strip trailing whitespace).
+     (Pierrick)
+ 
 +11 Oct 2018, PHP 7.2.11
  
  - Core:
 +  . Fixed bug #76800 (foreach inconsistent if array modified during loop).
 +    (Dmitry)
    . Fixed bug #76901 (method_exists on SPL iterator passthrough method corrupts
      memory). (Nikita)
 -  . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
 -    (Nikita)
  
  - CURL:
    . Fixed bug #76480 (Use curl_multi_wait() so that timeouts are respected).