[MediaWiki-commits] [Gerrit] Version 1.0.2 - change (mediawiki...HeaderTabs)

2015-05-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Version 1.0.2 .. Version 1.0.2 Change-Id: Ib092dd844888b7319f19b2a40cbcee73a5b02bbb --- M HeaderTabs.php 1 file changed, 1 insertion(+), 1 deletion(-) Ap

[MediaWiki-commits] [Gerrit] Version 1.0.2 - change (mediawiki...HeaderTabs)

2015-05-01 Thread Yaron Koren (Code Review)
Yaron Koren has uploaded a new change for review. https://gerrit.wikimedia.org/r/208105 Change subject: Version 1.0.2 .. Version 1.0.2 Change-Id: Ib092dd844888b7319f19b2a40cbcee73a5b02bbb --- M HeaderTabs.php 1 file changed,