Yaron Koren has submitted this change and it was merged.
Change subject: New version: 0.1.8
......................................................................
New version: 0.1.8
Change-Id: I5082ad5a9366159704eb5041506159a4ed90bc9e
---
M AdminLinks.php
M README
2 files changed, 4 insertions(+), 4 deletions(-)
Approvals:
Yaron Koren: Verified; Looks good to me, approved
jenkins-bot: Checked
diff --git a/AdminLinks.php b/AdminLinks.php
index 34714ba..0123443 100644
--- a/AdminLinks.php
+++ b/AdminLinks.php
@@ -11,7 +11,7 @@
$wgExtensionCredits['specialpage'][] = array(
'path' => __FILE__,
'name' => 'Admin Links',
- 'version' => '0.1.7',
+ 'version' => '0.1.8',
'author' => 'Yaron Koren',
'url' => 'https://www.mediawiki.org/wiki/Extension:Admin_Links',
'descriptionmsg' => 'adminlinks-desc',
diff --git a/README b/README
index 819c5ec..b34d478 100644
--- a/README
+++ b/README
@@ -1,6 +1,6 @@
Admin Links extension
- Version 0.1.7
+ Version 0.1.8
Yaron Koren
This is free software licensed under the GNU General Public License. Please
@@ -25,8 +25,8 @@
== Requirements ==
-This version of the Admin Links extension requires MediaWiki 1.18 or higher and
-php 5.3.0 or later.
+This version of the Admin Links extension requires MediaWiki 1.18 or higher
+and PHP 5.3.0 or later.
== Installation ==
--
To view, visit https://gerrit.wikimedia.org/r/61786
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5082ad5a9366159704eb5041506159a4ed90bc9e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AdminLinks
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
