[MediaWiki-commits] [Gerrit] operations/puppet[production]: contint: Make php.pp compatible with stretch

2017-10-05 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/361680 ) Change subject: contint: Make php.pp compatible with stretch .. contint: Make php.pp compatible with stretch Only load php5-* ext on

[MediaWiki-commits] [Gerrit] operations/puppet[production]: contint: Make php.pp compatible with stretch

2017-06-27 Thread Paladox (Code Review)
Paladox has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/361680 ) Change subject: contint: Make php.pp compatible with stretch .. contint: Make php.pp compatible with stretch Only load php5-* ext on debian