Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/176881
Change subject: hhvm: load tidy.so extension
......................................................................
hhvm: load tidy.so extension
Change-Id: Ia69546e849ae3ec9c787fb04124491a85ca6b100
---
M modules/hhvm/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/81/176881/1
diff --git a/modules/hhvm/manifests/init.pp b/modules/hhvm/manifests/init.pp
index 9e889b6..35bbe58 100644
--- a/modules/hhvm/manifests/init.pp
+++ b/modules/hhvm/manifests/init.pp
@@ -99,7 +99,7 @@
date => { timezone => 'UTC' },
hhvm => {
dynamic_extension_path =>
'/usr/lib/x86_64-linux-gnu/hhvm/extensions/current',
- dynamic_extensions => [ 'fss.so', 'luasandbox.so',
'wikidiff2.so' ],
+ dynamic_extensions => [ 'fss.so', 'luasandbox.so',
'tidy.so', 'wikidiff2.so' ],
enable_obj_destruct_call => true,
enable_zend_compat => true,
include_path => '.:/usr/share/php',
--
To view, visit https://gerrit.wikimedia.org/r/176881
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia69546e849ae3ec9c787fb04124491a85ca6b100
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <o...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
