reworked config.w32

weltling · michael-grunder · commit df1811ed3b48 · 2015-05-05T15:24:35.000-07:00
Conflicts:
	config.w32
diff --git a/config.w32 b/config.w32
@@ -22,6 +22,7 @@ if (PHP_REDIS != "no") {
 			WARNING("redis igbinary support not enabled");
 		}
 	}
+	
+
+}
 
-	EXTENSION("redis", sources);
-}

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,7 @@ if (PHP_REDIS != "no") {`
`22`	`22`	`WARNING("redis igbinary support not enabled");`
`23`	`23`	`}`
`24`	`24`	`}`
	`25`	`+`
	`26`	`+`
	`27`	`+}`
`25`	`28`
`26`		`- EXTENSION("redis", sources);`
`27`		`-}`