Redis storage library for PHP