diff options
| author | Remi Collet <remi@remirepo.net> | 2018-02-17 10:39:51 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-02-17 10:39:51 +0100 |
| commit | 11e724eae76af1e6838fe333cb86f12a9e845aaf (patch) | |
| tree | 8e5c8b98e905a76b33714eb038198caf6e442814 /REFLECTION-PHP7 | |
| parent | 4405cbec3f847214527a4fc4d9e32e3b6441b18f (diff) | |
cleanup
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 ] - } - } - } -} - |