[MediaWiki-commits] [Gerrit] Release v1.7 - change (mediawiki...erudite)
Njw has submitted this change and it was merged. Change subject: Release v1.7 .. Release v1.7 Change-Id: Id7280532f57d709b7e80be840986a8c7f00046f1 --- M erudite.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Njw: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/erudite.php b/erudite.php index a0255e4..10adb44 100644 --- a/erudite.php +++ b/erudite.php @@ -17,7 +17,7 @@ 'name' => 'Erudite', 'url' => 'https://www.mediawiki.org/wiki/Skin:Erudite', 'author' => array( 'Nick White', 'Matt Wiebe', 'Colin Andrew Ferm' ), - 'version' => '1.6', + 'version' => '1.7', 'descriptionmsg' => 'erudite-desc', ); -- To view, visit https://gerrit.wikimedia.org/r/101007 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id7280532f57d709b7e80be840986a8c7f00046f1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/skins/erudite Gerrit-Branch: master Gerrit-Owner: Njw Gerrit-Reviewer: Njw Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Release v1.7 - change (mediawiki...erudite)
Njw has uploaded a new change for review. https://gerrit.wikimedia.org/r/101007 Change subject: Release v1.7 .. Release v1.7 Change-Id: Id7280532f57d709b7e80be840986a8c7f00046f1 --- M erudite.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/skins/erudite refs/changes/07/101007/1 diff --git a/erudite.php b/erudite.php index a0255e4..10adb44 100644 --- a/erudite.php +++ b/erudite.php @@ -17,7 +17,7 @@ 'name' => 'Erudite', 'url' => 'https://www.mediawiki.org/wiki/Skin:Erudite', 'author' => array( 'Nick White', 'Matt Wiebe', 'Colin Andrew Ferm' ), - 'version' => '1.6', + 'version' => '1.7', 'descriptionmsg' => 'erudite-desc', ); -- To view, visit https://gerrit.wikimedia.org/r/101007 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id7280532f57d709b7e80be840986a8c7f00046f1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/skins/erudite Gerrit-Branch: master Gerrit-Owner: Njw ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits