Jeroen De Dauw has submitted this change and it was merged.
Change subject: 0.7 release
......................................................................
0.7 release
Change-Id: Ied97110e39329d4e9fa971c518db0b371fe9a49f
---
M Diff.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jeroen De Dauw: Verified; Looks good to me, approved
diff --git a/Diff.php b/Diff.php
index a3a846a..2a827d2 100644
--- a/Diff.php
+++ b/Diff.php
@@ -28,7 +28,7 @@
* @ingroup Test
*/
-define( 'Diff_VERSION', '0.7 alpha' );
+define( 'Diff_VERSION', '0.7' );
// @codeCoverageIgnoreStart
call_user_func( function() {
--
To view, visit https://gerrit.wikimedia.org/r/73878
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ied97110e39329d4e9fa971c518db0b371fe9a49f
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]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
