Editing: PhpRedisLock.php