Ori.livneh has submitted this change and it was merged.
Change subject: load tidy.so everywhere (but don't enable it)
......................................................................
load tidy.so everywhere (but don't enable it)
Load the Tidy extension everywhere. For now, this won't actually enable the
extension, because of $wgTidyInternal in CommonSettings.php.
Change-Id: I8bcd28374088536c430d8c1c7afb4575d1ba1287
---
M hieradata/hosts/mw1081.yaml
M modules/hhvm/manifests/init.pp
2 files changed, 1 insertion(+), 2 deletions(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/hieradata/hosts/mw1081.yaml b/hieradata/hosts/mw1081.yaml
index bcc2aed..a6864ed 100644
--- a/hieradata/hosts/mw1081.yaml
+++ b/hieradata/hosts/mw1081.yaml
@@ -1,4 +1,3 @@
hhvm::extra::fcgi:
hhvm:
check_sym_link: false
- dynamic_extensions: [ 'fss.so', 'luasandbox.so', 'wikidiff2.so', 'tidy.so'
]
diff --git a/modules/hhvm/manifests/init.pp b/modules/hhvm/manifests/init.pp
index bc83ca5..3e0bb49 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/178217
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8bcd28374088536c430d8c1c7afb4575d1ba1287
Gerrit-PatchSet: 2
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
