update to 2.3.1HEADmaster

open https://jira.mongodb.org/browse/PHPC-2715 out-of-sources-tree builds
use patch from https://github.com/mongodb/mongo-php-driver/pull/2007

1 files changed, 2 insertions, 2 deletions

diff --git a/REFLECTION b/REFLECTION
index bb0a779..b809af1 100644
--- a/REFLECTION
+++ b/REFLECTION
@@ -1,4 +1,4 @@
-Extension [ <persistent> extension #147 mongodb version 2.3.0 ] {
+Extension [ <persistent> extension #148 mongodb version 2.3.1 ] {
 
   - Dependencies {
     Dependency [ date (Required) ]
@@ -14,7 +14,7 @@ Extension [ <persistent> extension #147 mongodb version 2.3.0 ] {
   }
 
   - Constants [2] {
-    Constant [ <persistent> string MONGODB_VERSION ] { 2.3.0 }
+    Constant [ <persistent> string MONGODB_VERSION ] { 2.3.1 }
     Constant [ <persistent> string MONGODB_STABILITY ] { stable }
   }