diff options
author | Remi Collet <remi@remirepo.net> | 2018-02-17 10:38:11 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-02-17 10:38:11 +0100 |
commit | 4eaa8b0c783029e602c3ea3a9b25efca334992a2 (patch) | |
tree | 7c1933c653d8bbec6be954ca0ea8f2db5da62fc9 /REFLECTION-PHP7 | |
parent | 4405cbec3f847214527a4fc4d9e32e3b6441b18f (diff) |
cleanupphp5
Diffstat (limited to 'REFLECTION-PHP7')
-rw-r--r-- | REFLECTION-PHP7 | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/REFLECTION-PHP7 b/REFLECTION-PHP7 deleted file mode 100644 index d9225e7..0000000 --- a/REFLECTION-PHP7 +++ /dev/null @@ -1,24 +0,0 @@ -Extension [ <persistent> extension #66 raphf version 2.0.0 ] { - - - INI { - Entry [ raphf.persistent_handle.limit <SYSTEM> ] - Current = '-1' - } - } - - - Functions { - Function [ <internal:raphf> function raphf\stat_persistent_handles ] { - - - Parameters [0] { - } - } - Function [ <internal:raphf> function raphf\clean_persistent_handles ] { - - - Parameters [2] { - Parameter #0 [ <optional> $name ] - Parameter #1 [ <optional> $ident ] - } - } - } -} - |