ILIAS (www.ilias.de) + patches to run with HHVM (www.hhvm.com)