[MediaWiki-commits] [Gerrit] operations/puppet[production]: Update doc comment on mediawiki::packages::php5

2016-10-18 Thread Dzahn (Code Review)
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: I72cee49a64972d2e3e3

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Update doc comment on mediawiki::packages::php5

2016-09-06 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/308904 Change subject: Update doc comment on mediawiki::packages::php5 .. Update doc comment on mediawiki::packages::php5 Only 2 years out of date ;