Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fix some arginfos

diff --cc NEWS
index ecdc008853edc3b92e21212610d6878cadc1b01c,6c4e537239399dd69a347c80998608bfd7cc4027..1176ba12d36e179759ab060b73c52588c1a674b7
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -52,16 -48,14 +55,17 @@@ PH
  
  - Standard:
    . Fixed bug #75961 (Strange references behavior). (Laruence)
 -  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike, 
 +  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike,
      Philip Sharp)
+   . Fixed some arginfos. (carusogabriel)
  
 -01 Feb 2018, PHP 7.1.14
 +01 Feb 2018, PHP 7.2.2
  
  - Core:
 +  . Fixed bug #75742 (potential memleak in internal classes's static members).
 +    (Laruence)
    . Fixed bug #75679 (Path 260 character problem). (Anatol)
 +  . Fixed bug #75614 (Some non-portable == in shell scripts). (jdolecek)
    . Fixed bug #75786 (segfault when using spread operator on generator passed
      by reference). (Nikita)
    . Fixed bug #75799 (arg of get_defined_functions is optional). (carusogabriel)

diff --cc ext/ftp/php_ftp.c
Simple merge

diff --cc ext/openssl/openssl.c
Simple merge

diff --cc ext/standard/basic_functions.c
Simple merge