jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/376496 )
Change subject: dib: add php5.5-redis
......................................................................
dib: add php5.5-redis
Bug: T161882
Bug: T174972
Change-Id: If64dca62b60c1072a524ff9c38212e97f79bd1b8
---
M dib/puppet/ciimage.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/puppet/ciimage.pp b/dib/puppet/ciimage.pp
index c32dc38..deb36cb 100644
--- a/dib/puppet/ciimage.pp
+++ b/dib/puppet/ciimage.pp
@@ -62,6 +62,7 @@
'php5.5-mbstring',
'php5.5-mcrypt',
'php5.5-mysql',
+ 'php5.5-redis',
'php5.5-sqlite3',
'php5.5-tidy',
'php5.5-xsl',
--
To view, visit https://gerrit.wikimedia.org/r/376496
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If64dca62b60c1072a524ff9c38212e97f79bd1b8
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
