[MediaWiki-commits] [Gerrit] Rename 'zend' pipeline to 'php53' - change (integration/config)

2016-01-16 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/264489 Change subject: Rename 'zend' pipeline to 'php53' .. Rename 'zend' pipeline to 'php53' Both 'check php53' and 'check zend' comments will

[MediaWiki-commits] [Gerrit] Rename 'zend' pipeline to 'php53' - change (integration/config)

2016-01-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Rename 'zend' pipeline to 'php53' .. Rename 'zend' pipeline to 'php53' Both 'check php53' and 'check zend' comments will trigger this pipeline. Bug: