Two examples of using REDIS for PHP sessions