diff options
author | Alessandro Chitolina <alekitto@gmail.com> | 2019-04-02 14:36:59 +0200 |
---|---|---|
committer | Matteo Beccati <mbeccati@php.net> | 2019-04-03 14:35:57 +0200 |
commit | 4029c0b6a2908096b9dd49797260daafdae5558d (patch) | |
tree | 9664ac0024283cee7540e8cc010bee6ae86565a4 /sapi/phpdbg/phpdbg_out.c | |
parent | 56a5d0bd9179972d0675f8f772fc5423d9de00d0 (diff) | |
download | php-git-4029c0b6a2908096b9dd49797260daafdae5558d.tar.gz |
Ref #76801 remove old file source from file_sources hash in case of file included more than once
Diffstat (limited to 'sapi/phpdbg/phpdbg_out.c')
0 files changed, 0 insertions, 0 deletions