Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: Revert "mediawiki: correct dependency of php.ini file"
......................................................................
Revert "mediawiki: correct dependency of php.ini file"
This reverts commit 249c1aac62c126b5627ac8ec324eb1d80afcffbc.
Change-Id: I1e6fcc1d3389f048fbff2883e1eedf4a00d75319
---
M modules/mediawiki/manifests/php.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/modules/mediawiki/manifests/php.pp
b/modules/mediawiki/manifests/php.pp
index 64c0588..991f2b7 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['libapache2-mod-php5'],
+ require => Package['php5-common'],
}
file { '/etc/php5/cli/php.ini':
--
To view, visit https://gerrit.wikimedia.org/r/194485
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1e6fcc1d3389f048fbff2883e1eedf4a00d75319
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
