Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #77932: File extensions are case-sensitive

diff --cc NEWS
index bade4b34dab91a29390faa3e5860bdd7e79962d1,0a6e60d4192ec7f18383b4e0170512c384d45fef..09eca0b1c848e5c0330ed199329d840893690c37
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -4,8 -4,9 +4,9 @@@ PH
  
  - Core:
    . Fixed bug #79884 (PHP_CONFIG_FILE_PATH is meaningless). (cmb)
+   . Fixed bug #77932 (File extensions are case-sensitive). (cmb)
  
 -?? ??? ????, PHP 7.3.21
 +06 Aug 2020, PHP 7.4.9
  
  - Apache:
    . Fixed bug #79030 (Upgrade apache2handler's php_apache_sapi_get_request_time

diff --cc sapi/cli/php_cli_server.c
Simple merge