[MediaWiki-commits] [Gerrit] 0.8 release - change (mediawiki...Diff)

Mon, 26 Aug 2013 14:32:22 -0700 

jenkins-bot has submitted this change and it was merged.

Change subject: 0.8 release
......................................................................


0.8 release

Change-Id: I1291c68e814f02cd4e70308a726a35f7a359427e
---
M Diff.php
M README.md
M RELEASE-NOTES.md
3 files changed, 4 insertions(+), 2 deletions(-)

Approvals:
  Jeroen De Dauw: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Diff.php b/Diff.php
index 024510c..b40ecad 100644
--- a/Diff.php
+++ b/Diff.php
@@ -19,7 +19,7 @@
        return;
 }
 
-define( 'Diff_VERSION', '0.8 alpha' );
+define( 'Diff_VERSION', '0.8' );
 
 // @codeCoverageIgnoreStart
 spl_autoload_register( function ( $className ) {
diff --git a/README.md b/README.md
index 746eb4b..32ddef9 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,7 @@
 [![Coverage 
Status](https://coveralls.io/repos/wikimedia/mediawiki-extensions-Diff/badge.png?branch=master)](https://coveralls.io/r/wikimedia/mediawiki-extensions-Diff?branch=master)
 [![Dependency 
Status](https://www.versioneye.com/package/php--diff--diff/badge.png)](https://www.versioneye.com/package/php--diff--diff)
 
+On [Packagist](https://packagist.org/packages/diff/diff):
 [![Latest Stable 
Version](https://poser.pugx.org/diff/diff/version.png)](https://packagist.org/packages/diff/diff)
 [![Download 
count](https://poser.pugx.org/diff/diff/d/total.png)](https://packagist.org/packages/diff/diff)
 
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 93dd64d..760e6c5 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -1,8 +1,9 @@
 # Diff release notes
 
+Latest release:
 [![Latest Stable 
Version](https://poser.pugx.org/diff/diff/version.png)](https://packagist.org/packages/diff/diff)
 
-## Version 0.8 (dev)
+## Version 0.8 (2013-08-26)
 
 #### Additions
 

-- 
To view, visit https://gerrit.wikimedia.org/r/81131
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1291c68e814f02cd4e70308a726a35f7a359427e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to