Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  fix bug #75916 DNS_CAA record results contain garbage

diff --cc NEWS
index 0211aba780ea5a9c9c397cd86c856cacf763cefd,671f0f99771809a9ff0b2ecdbc3576a0c33120e1..fde430f53096bb4bb1fe9f5f5ff469afd8d20e16
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -19,13 -12,14 +19,17 @@@ PH
  - ODBC:
    . Fixed bug #73725 (Unable to retrieve value of varchar(max) type). (Anatol)
  
 -  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike, 
+ - Standard:
 -01 Feb 2018, PHP 7.1.14
++  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike,
+     Philip Sharp)
+ 
 +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/standard/dns.c
Simple merge