mediawiki: correct name of configuration key in hhvm.ini

Change-Id: Iae14d2eee1992ca44792dfe9d7faadfe3b0806d3