Ori.livneh has submitted this change and it was merged.
Change subject: Revert "hhvm: Don't load fss.so"
......................................................................
Revert "hhvm: Don't load fss.so"
This reverts commit 09f98b871f630fad4a33c5c6563bfcfb4ee22615.
Change-Id: I596834df0102f1eea4be6dad7c372bf25daad53c
---
M modules/hhvm/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/modules/hhvm/manifests/init.pp b/modules/hhvm/manifests/init.pp
index e0758e0..288f840 100644
--- a/modules/hhvm/manifests/init.pp
+++ b/modules/hhvm/manifests/init.pp
@@ -102,7 +102,7 @@
# HHVM specific
hhvm => {
dynamic_extension_path =>
'/usr/lib/x86_64-linux-gnu/hhvm/extensions/current',
- dynamic_extensions => [ 'luasandbox.so', 'tidy.so',
'wikidiff2.so' ],
+ dynamic_extensions => [ 'fss.so', 'luasandbox.so',
'tidy.so', 'wikidiff2.so' ],
enable_obj_destruct_call => true,
enable_zend_compat => true,
pid_file => '', # PID file managed by
start-stop-daemon(8)
--
To view, visit https://gerrit.wikimedia.org/r/231720
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I596834df0102f1eea4be6dad7c372bf25daad53c
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
