Issue #1176

yatsukhnenko · yatsukhnenko · commit 0fef41ac963b · 2017-05-23T23:24:58.000+03:00
Adding `configureoption` tag to package.xml.
diff --git 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>
