[MediaWiki-commits] [Gerrit] rename log dir: logs -> log - change (integration/jenkins-job-builder-config)

2013-10-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: rename log dir: logs -> log .. rename log dir: logs -> log Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0 --- M macro.yaml M mediawiki-extensions.ya

[MediaWiki-commits] [Gerrit] rename log dir: logs -> log - change (integration/jenkins)

2013-10-15 Thread Hashar (Code Review)
Hashar has submitted this change and it was merged. Change subject: rename log dir: logs -> log .. rename log dir: logs -> log Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0 --- M bin/mw-run-phpunit-allexts.sh 1 file chan

[MediaWiki-commits] [Gerrit] rename log dir: logs -> log - change (integration/jenkins-job-builder-config)

2013-10-15 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/89805 Change subject: rename log dir: logs -> log .. rename log dir: logs -> log Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0 --- M macro.ya

[MediaWiki-commits] [Gerrit] rename log dir: logs -> log - change (integration/jenkins)

2013-10-15 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/89804 Change subject: rename log dir: logs -> log .. rename log dir: logs -> log Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0 --- M bin/mw-r