diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-05-17 17:19:42 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-05-17 17:19:42 +0200 |
commit | b4115dc2ac5b2b55bd3683c51ac15a953a6d2ba8 (patch) | |
tree | c8c16d1ca697907f0cfc714967bba67d41a8dade | |
parent | 797356055713bc5772ce5655111706cf10db0a6f (diff) |
php-pecl-*: add Reflection file
-rw-r--r-- | REFLECTION | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/REFLECTION b/REFLECTION new file mode 100644 index 0000000..0771892 --- /dev/null +++ b/REFLECTION @@ -0,0 +1,20 @@ +Extension [ <persistent> extension #93 inclued version 0.1.3 ] { + + - INI { + Entry [ inclued.enabled <SYSTEM> ] + Current = '0' + } + Entry [ inclued.random_sampling <SYSTEM> ] + Current = '0' + } + Entry [ inclued.dumpdir <SYSTEM> ] + Current = '' + } + } + + - Functions { + Function [ <internal:inclued> function inclued_get_data ] { + } + } +} + |