Dzahn has submitted this change and it was merged.
Change subject: Update doc comment on mediawiki::packages::php5
......................................................................
Update doc comment on mediawiki::packages::php5
Only 2 years out of date ;-)
Change-Id: I72cee49a64972d2e3e3755ee217a1f955bf45cd3
---
M modules/mediawiki/manifests/packages/php5.pp
1 file changed, 2 insertions(+), 3 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/mediawiki/manifests/packages/php5.pp
b/modules/mediawiki/manifests/packages/php5.pp
index 4dbf33b..c6203da 100644
--- a/modules/mediawiki/manifests/packages/php5.pp
+++ b/modules/mediawiki/manifests/packages/php5.pp
@@ -1,9 +1,8 @@
# === Class mediawiki::packages::php5
#
# This class declares packages that make up Wikimedia's PHP5-based
-# MediaWiki deployment stack. As of August 2014, this is the most common
-# configuration in production, but new installs are configured for HHVM
-# instead.
+# MediaWiki deployment stack. As of August 2016, most installs are
+# configured for HHVM, but a few are still using PHP5 (T86081).
#
class mediawiki::packages::php5 {
requires_os('ubuntu >= trusty || Debian >= jessie')
--
To view, visit https://gerrit.wikimedia.org/r/308904
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I72cee49a64972d2e3e3755ee217a1f955bf45cd3
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Alex Monk <a...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
