1
0
mirror of https://github.com/php/php-src.git synced 2026-04-13 19:14:16 +02:00

Drop ext/spl/spl.php

Leftover from ext/spl/internal, which was removed previously.
This commit is contained in:
Nikita Popov
2018-09-21 09:00:51 +02:00
parent 7022f3a34f
commit 9faff4f783

File diff suppressed because it is too large Load Diff