Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/165145
Change subject: mediawiki: install php5-dbg on Zend app servers
......................................................................
mediawiki: install php5-dbg on Zend app servers
Change-Id: Ib8b2763254ecd8f7a28a241c1855114365e36ee8
---
M modules/mediawiki/manifests/packages/php5.pp
1 file changed, 2 insertions(+), 10 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/45/165145/1
diff --git a/modules/mediawiki/manifests/packages/php5.pp
b/modules/mediawiki/manifests/packages/php5.pp
index a6c0385..9b96f69 100644
--- a/modules/mediawiki/manifests/packages/php5.pp
+++ b/modules/mediawiki/manifests/packages/php5.pp
@@ -7,20 +7,12 @@
#
class mediawiki::packages::php5 {
# Run-time
- package { [
- 'php5-common',
- 'php5-cli',
- 'php-apc',
- ]:
+ package { [ 'php-apc', 'php5-cli', 'php5-common', 'php5-dbg' ]:
ensure => present,
}
# Wikimedia PHP extensions
- package { [
- 'php-luasandbox',
- 'php-wikidiff2',
- 'php5-fss',
- ]:
+ package { [ 'php-luasandbox', 'php-wikidiff2', 'php5-fss' ]:
ensure => present,
}
--
To view, visit https://gerrit.wikimedia.org/r/165145
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib8b2763254ecd8f7a28a241c1855114365e36ee8
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <o...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
