mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
These were already removed 92ac598aab
and this fixes some leftovers. These files don't really need these
settings.
These were already removed 92ac598aab
and this fixes some leftovers. These files don't really need these
settings.