diff options
-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> |