[MediaWiki-commits] [Gerrit] Add role for PhpTags extension - change (mediawiki/vagrant)

2014-08-14 Thread Pastakhov (Code Review)
Pastakhov has uploaded a new change for review. https://gerrit.wikimedia.org/r/154051 Change subject: Add role for PhpTags extension .. Add role for PhpTags extension Change-Id: I3fd2efd08fb335a6045abd241725243f956cba43 ---

[MediaWiki-commits] [Gerrit] Add role for PhpTags extension - change (mediawiki/vagrant)

2014-08-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add role for PhpTags extension .. Add role for PhpTags extension Change-Id: I3fd2efd08fb335a6045abd241725243f956cba43 --- A