Redis Filesystem in PHP