diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-05-23 23:24:53 +0300 |
---|---|---|
committer | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-05-23 23:24:58 +0300 |
commit | 0fef41ac963b1fccee35e9ddf9e43978543c4475 (patch) | |
tree | 6b333799fae683ed34bac57d5bdbeb222f115ab7 /package.xml | |
parent | a33ca4f8c583783aeae1aa1a69428bdbe7d451c2 (diff) |
Issue #1176
Adding `configureoption` tag to package.xml.
Diffstat (limited to 'package.xml')
-rw-r--r-- | package.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/package.xml b/package.xml index 483d2a58..0f15f31c 100644 --- a/package.xml +++ b/package.xml @@ -97,7 +97,9 @@ http://pear.php.net/dtd/package-2.0.xsd"> </required> </dependencies> <providesextension>redis</providesextension> - <extsrcrelease/> + <extsrcrelease> + <configureoption name="enable-redis-igbinary" prompt="enable igbinary serializer support?" default="no"/> + </extsrcrelease> <changelog> <release> |