Setting up Redis for local development (unused)

Install Redis for windows using the instructions here: https://redis.io/docs/getting-started/installation/install-redis-on-windows/

------
Upon system restart you will need to start up Redis before it can be used, with command:

sudo service redis-server start
------

----------------------------
Install php-redis 

Install php-redis 5.3.7 from here, or use the newest version (use /windows from the main pages) https://pecl.php.net/package/redis/5.3.7/windows . You can check if your PHP installation requires the thread-safe or non-thread-safe package by checking if thread safety is enabled via the phpinfo() page.

For reasons unknown, the usual PHP extension syntax does not seem to work for enabling it. Therefore, add:

extension="php_redis.dll"

to your php.ini file and restart Apache. Check phpinfo() to see if phpredis was successfully installed.