Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #79470: PHP incompatible with 3rd party file system on demand

diff --cc NEWS
index bc5fc665e2c3c64d923a8234fff481dd8cab4321,c96ee110d04b5d80c61bbaa2194de0366d8ae6eb..ba008a7ba7f7cffca93154d1a4a91649413617c3
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,15 +1,17 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.3.18
 +
 +?? ??? ????, PHP 7.4.6
  
  - Core:
 -  . Fixed bug #79434 (PHP 7.3 and PHP-7.4 crash with NULL-pointer dereference
 -    on !CS constant). (Nikita)
 +  . Fixed bug #78434 (Generator yields no items after valid() call). (Nikita)
    . Fixed bug #79477 (casting object into array creates references). (Nikita)
 +  . Fixed bug #79514 (Memory leaks while including unexistent file). (cmb,
 +    Nikita)
+   . Fixed bug #79470 (PHP incompatible with 3rd party file system on demand).
+     (cmb)
+   . Fixed bug #78784 (Unable to interact with files inside a VFS for Git
+     repository). (cmb)
  
  - DOM:
    . Fixed bug #78221 (DOMNode::normalize() doesn't remove empty text nodes).

diff --cc Zend/zend_virtual_cwd.c
Simple merge