Redis/MediaWiki

Redis can be used as an alternative to memcached, and function as the job queue (no more running runJobs.php)

https://blog.go2tech.de/2016/02/the-jobqueue-how-droidwiki-de-runs-jobs/

Redis with HHVM as Session Handler

Redis support is built into HHVM. You can just set redis as a save handler in HHVM, rather than using files.

/etc/hhvm/php.ini

session.save_handler = redis
session.save_path = "tcp://localhost:6379"

Once that's done, set that in mediawiki as well.

• [https://www.digitalocean.com/community/tutorials/how-to-set-up-a-redis-server-as-a-session-handler-for-php-on-ubuntu-14-04 DigitalOcean -

How to Set Up a Redis Server as a Session Handler for PHP on Ubuntu 14.04]

• Source: Medium @deboj88 - Load balancing a Reverse Proxy with Nginx, HHVM and PHP FPM
• Source: HHVM + mediawiki 怎么配置