EBernhardson has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/325877 )
Change subject: Add a few more php7.0 package dependencies
......................................................................
Add a few more php7.0 package dependencies
In the repo now used for php5 and php7 packages in contint
a few packages provide both php5 and php7 versions in one
package. Add those packages so they are available for CI.
Change-Id: Ibca07b9171377f35380a6a32535c0567b468dcfb
---
M modules/contint/manifests/packages/php.pp
1 file changed, 3 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/77/325877/1
diff --git a/modules/contint/manifests/packages/php.pp
b/modules/contint/manifests/packages/php.pp
index 349bda4..bdf695d 100644
--- a/modules/contint/manifests/packages/php.pp
+++ b/modules/contint/manifests/packages/php.pp
@@ -29,9 +29,9 @@
'php7.0-curl',
# missing geoip
'php7.0-intl',
- # missing memcached
+ 'php-memcached',
'php7.0-mysql',
- # missing redis
+ 'php-redis',
'php7.0-xmlrpc',
# CI packages from above
'php7.0-dev',
@@ -48,6 +48,7 @@
'php7.0-bcmath',
'php7.0-mbstring',
'php7.0-xml',
+ 'php-imagick',
# for phan (T132636)
'php-ast',
]:
--
To view, visit https://gerrit.wikimedia.org/r/325877
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibca07b9171377f35380a6a32535c0567b468dcfb
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
