[MediaWiki-commits] [Gerrit] add env::alternative; use it to update-alternatives php - change (mediawiki/vagrant)

jenkins-bot has submitted this change and it was merged. Change subject: add env::alternative; use it to update-alternatives php .. add env::alternative; use it to update-alternatives php Pretty ugly solution but the best I cou

[MediaWiki-commits] [Gerrit] add env::alternative; use it to update-alternatives php - change (mediawiki/vagrant)

Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/145520 Change subject: add env::alternative; use it to update-alternatives php .. add env::alternative; use it to update-alternatives php Pretty