RobH has submitted this change and it was merged.
Change subject: fixing mediawiki addtion to arsenic
......................................................................
fixing mediawiki addtion to arsenic
Change-Id: Iebfe3e847b37a18a60f5f3600a67d388143ea7f6
---
M manifests/site.pp
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
RobH: Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/site.pp b/manifests/site.pp
index 9a6d535..1a1974b 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -230,6 +230,9 @@
admins::mortals,
generic::wikidev-umask,
nrpe
+#just adding this for the mediawiki require
+ class { misc::maintenance::pagetriage: enabled => false }
+
}
--
To view, visit https://gerrit.wikimedia.org/r/92679
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iebfe3e847b37a18a60f5f3600a67d388143ea7f6
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: RobH <[email protected]>
Gerrit-Reviewer: RobH <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
