Fix some mediawiki vs hhvm issues.