diff --git a/lib/private/RedisFactory.php b/lib/private/RedisFactory.php
index 663c64b893c8..edfcb08e2c54 100644
--- a/lib/private/RedisFactory.php
+++ b/lib/private/RedisFactory.php
@@ -108,6 +108,7 @@ public function getInstance() {
 
 	public function isAvailable() {
 		return extension_loaded('redis')
-		&& version_compare(phpversion('redis'), '2.2.5', '>=');
+		&& (version_compare(phpversion('redis'), '2.2.5', '>=')
+		|| strcmp(phpversion('redis'), 'develop')==0);
 	}
 }