Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/402430 )
Change subject: Releases: Include all contint PHP packages
......................................................................
Releases: Include all contint PHP packages
Right now I'm missing php-mbstring, but continuing to
install these one by one is just a game of whack-a-mole.
Install all of them.
Change-Id: Id777364fa468d8eec73320a539056fe3f834a49f
---
M modules/profile/manifests/releases/mediawiki.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/profile/manifests/releases/mediawiki.pp
b/modules/profile/manifests/releases/mediawiki.pp
index 525689a..2c49f70 100644
--- a/modules/profile/manifests/releases/mediawiki.pp
+++ b/modules/profile/manifests/releases/mediawiki.pp
@@ -24,6 +24,7 @@
}
class { '::contint::composer': }
+ class { '::contint::packages::php': }
class { '::apache::mod::rewrite': }
class { '::apache::mod::headers': }
--
To view, visit https://gerrit.wikimedia.org/r/402430
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id777364fa468d8eec73320a539056fe3f834a49f
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
