Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: mediawiki: correct dependency of php.ini file
......................................................................
mediawiki: correct dependency of php.ini file
Change-Id: I7a9e8626dd6ef5d132c0f5ac7de13331c3afd7b6
---
M modules/mediawiki/manifests/php.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/mediawiki/manifests/php.pp
b/modules/mediawiki/manifests/php.pp
index 991f2b7..64c0588 100644
--- a/modules/mediawiki/manifests/php.pp
+++ b/modules/mediawiki/manifests/php.pp
@@ -17,7 +17,7 @@
owner => 'root',
group => 'root',
mode => '0444',
- require => Package['php5-common'],
+ require => Package['libapache2-mod-php5'],
}
file { '/etc/php5/cli/php.ini':
--
To view, visit https://gerrit.wikimedia.org/r/194473
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7a9e8626dd6ef5d132c0f5ac7de13331c3afd7b6
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
