Skip test if php-redis is not installed

Willem Stuursma · Willem Stuursma · commit 06cc85a3d33d · 2020-02-18T14:50:12.000+01:00
diff --git a/tests/mutex/PHPRedisMutexTest.php b/tests/mutex/PHPRedisMutexTest.php
@@ -16,7 +16,7 @@
  * @link bitcoin:1P5FAZ4QhXCuwYPnLZdk3PJsqePbu1UDDA Donations
  * @license WTFPL
  * @see PHPRedisMutex
- * @requires redis
+ * @requires extension redis
  * @group redis
  */
 class PHPRedisMutexTest extends TestCase
