revert ServerLocalConfig.use_naming_for_dephash_filenamesnightly-2021.11.03
treed8bb8c0db5a0098238affb18701799b1f2082db7
drwxr-xr-x - .github
-rw-r--r-- 1545 .gitignore
-rw-r--r-- 863 .gitmodules
drwxr-xr-x - CMake
-rw-r--r-- 4251 CMakeLists.txt
-rw-r--r-- 3356 CODE_OF_CONDUCT.md
-rw-r--r-- 3334 CONTRIBUTING.md
-rw-r--r-- 3204 LICENSE.PHP
-rw-r--r-- 2803 LICENSE.ZEND
-rw-r--r-- 2888 README.md
-rw-r--r-- 449 SECURITY.md
-rwxr-xr-x 642 configure
drwxr-xr-x - hphp
drwxr-xr-x - patches
drwxr-xr-x - third-party