mirror of
https://github.com/php/php-src.git
synced 2026-04-28 10:43:30 +02:00
be6dee3c5d
Previously, seen symbols were never cleaned during the compilation of a single file. This makes it impossible to use a class or function from a different namespace if such a symbol is also declared within the same file. This is inconsistent with how it would work when split into different files.