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(-)
Approvals:
Yaron Koren: Checked; Looks good to me, approved
jenkins-bot: Verified
diff --git a/HeaderTabs.php b/HeaderTabs.php
index 45ffb46..c03289d 100644
--- a/HeaderTabs.php
+++ b/HeaderTabs.php
@@ -18,7 +18,7 @@
'path' => __FILE__,
'name' => 'Header Tabs',
'descriptionmsg' => 'headertabs-desc',
- 'version' => '1.0.1',
+ 'version' => '1.0.2',
'author' => array( '[http://www.sergeychernyshev.com Sergey
Chernyshev]', 'Yaron Koren', '[http://olivierbeaton.com Olivier Finlay Beaton]'
),
'url' => 'https://www.mediawiki.org/wiki/Extension:Header_Tabs'
);
--
To view, visit https://gerrit.wikimedia.org/r/208105
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib092dd844888b7319f19b2a40cbcee73a5b02bbb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/HeaderTabs
Gerrit-Branch: master
Gerrit-Owner: Yaron Koren <[email protected]>
Gerrit-Reviewer: Yaron Koren <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
