diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-12-11 13:06:10 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-12-11 13:07:45 +0100 |
| commit | b55033fa18afd9bb60fc4537270266d808ec0868 (patch) | |
| tree | 1e5a247469d947f0da4cd19a803c277b413c5d46 /php.ini-production | |
| parent | b6a59cee474f0688a0af736a11f9889ff30d046b (diff) | |
| download | php-git-b55033fa18afd9bb60fc4537270266d808ec0868.tar.gz | |
Fixed bug #78903: Conflict in RTD key for closures results in crash
I wasn't able to create a simple reproducer for this. General approach
is the same as for anonymous classes: If the key is already used, reuse
the old definition.
Diffstat (limited to 'php.ini-production')
0 files changed, 0 insertions, 0 deletions