This post is marked as solved. If you think the information contained on this thread must be part of the
official documentation, please contribute submitting a
pull request to its repository.
Does anyone know how to use Redis from within Zephir?
Sorry, my bad. My local PHP was incorrectly configured, and now it works. Oops.