Jeroen De Dauw has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/87575


Change subject: 0.9 release
......................................................................

0.9 release

Change-Id: I68a79408b7a88eedb40291fd3a50cb36d25e7a65
---
M Diff.php
M RELEASE-NOTES.md
2 files changed, 2 insertions(+), 16 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Diff 
refs/changes/75/87575/1

diff --git a/Diff.php b/Diff.php
index 43ec19f..944caeb 100644
--- a/Diff.php
+++ b/Diff.php
@@ -1,25 +1,11 @@
 <?php
 
-/**
- * This documentation group collects source code files belonging to Diff.
- *
- * @defgroup Diff Diff
- */
-
-/**
- * Tests part of the Diff extension.
- *
- * @defgroup DiffTests DiffTest
- * @ingroup Diff
- * @ingroup Test
- */
-
 if ( defined( 'Diff_VERSION' ) ) {
        // Do not initialize more then once.
        return;
 }
 
-define( 'Diff_VERSION', '0.9 alpha' );
+define( 'Diff_VERSION', '0.9' );
 
 // @codeCoverageIgnoreStart
 spl_autoload_register( function ( $className ) {
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 1057131..72cebc5 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -3,7 +3,7 @@
 Latest release:
 [![Latest Stable 
Version](https://poser.pugx.org/diff/diff/version.png)](https://packagist.org/packages/diff/diff)
 
-## Version 0.9 (Under development)
+## Version 0.9 (2013-10-04)
 
 #### Additions
 

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I68a79408b7a88eedb40291fd3a50cb36d25e7a65
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>

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

Reply via email to