Merge branch 'PHP-7.2' into PHP-7.3

diff --cc ext/spl/spl_directory.c
index 946e1cde7d111ef1b7b641f07855567824f1953f,47b3521d63586cdead910fa55692ac25dba95d64..7f14ae987ca2261d15d89fe2ec7fefea53feb8b2
--- 1/ext/spl/spl_directory.c
--- 2/ext/spl/spl_directory.c
+++ b/ext/spl/spl_directory.c
@@@ -95,10 -97,9 +95,11 @@@ static void spl_filesystem_object_destr
                        } else {
                                php_stream_pclose(intern->u.file.stream);
                        }
+                       intern->u.file.stream = NULL;
                }
                break;
 +      default:
 +              break;
        }
  } /* }}} */