Project is archived. Use https://github.com/JetBrains/phpstorm-stubs instead. php documentation for PHPRedis