Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/150092
Change subject: mediawiki: correct name of configuration key in hhvm.ini ...................................................................... mediawiki: correct name of configuration key in hhvm.ini Change-Id: Iae14d2eee1992ca44792dfe9d7faadfe3b0806d3 --- M modules/mediawiki/templates/hhvm/hhvm.ini.erb 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/92/150092/1 diff --git a/modules/mediawiki/templates/hhvm/hhvm.ini.erb b/modules/mediawiki/templates/hhvm/hhvm.ini.erb index 9598252..d718ee4 100644 --- a/modules/mediawiki/templates/hhvm/hhvm.ini.erb +++ b/modules/mediawiki/templates/hhvm/hhvm.ini.erb @@ -5,7 +5,7 @@ ; Extensions hhvm.dynamic_extension_path = /usr/lib/hphp/extensions/20140702 -hhvm.eval.enable_zend_compat = true +hhvm.enable_zend_compat = true hhvm.mysql.typed_results = false ; Runtime -- To view, visit https://gerrit.wikimedia.org/r/150092 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iae14d2eee1992ca44792dfe9d7faadfe3b0806d3 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Ori.livneh <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
