Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnatol Belski <ab@php.net>2014-07-01 16:00:36 +0400
committermichael-grunder <michael.grunder@gmail.com>2015-05-06 01:24:35 +0300
commitdf1811ed3b48121eca985f3614b17f2b4b6e5cc0 (patch)
treec39169e0b8c52a761a2043e2040e4f3ba3a58a0c /config.w32
parent69c6c04eec840389d4af7fddef55778ec3c29bb4 (diff)
reworked config.w32
Conflicts: config.w32
Diffstat (limited to 'config.w32')
-rw-r--r--config.w325
1 files changed, 3 insertions, 2 deletions
diff --git a/config.w32 b/config.w32
index 2f202135..9c574ccf 100644
--- a/config.w32
+++ b/config.w32
@@ -22,6 +22,7 @@ if (PHP_REDIS != "no") {
WARNING("redis igbinary support not enabled");
}
}
+
+
+}
- EXTENSION("redis", sources);
-} \ No newline at end of file