ArielGlenn has submitted this change and it was merged.
Change subject: contint: explicitly require php5-dev
......................................................................
contint: explicitly require php5-dev
The contint box requires phpize to build extension, that is provided by
the php5-dev package which is currently installed as a dependency of
php5-pear.
To avoid potential future mistake, make sure phpize is explicitly
installed (via php5-dev).
Change-Id: I9dfb19ffac7c6bfe6efd6da9aba0cb1a0587cd95
---
M modules/contint/manifests/packages.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
ArielGlenn: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/contint/manifests/packages.pp
b/modules/contint/manifests/packages.pp
index 8bb1dc8..cbfd501 100644
--- a/modules/contint/manifests/packages.pp
+++ b/modules/contint/manifests/packages.pp
@@ -35,6 +35,7 @@
'php-pear',
'php5-cli',
'php5-curl',
+ 'php5-dev', # phpize
'php5-gd',
'php5-intl',
'php5-mysql',
--
To view, visit https://gerrit.wikimedia.org/r/70182
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9dfb19ffac7c6bfe6efd6da9aba0cb1a0587cd95
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: ArielGlenn <ar...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
