r80266 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r80265‎ | r80266 | r80267 >
Date:14:36, 14 January 2011
Author:jeroendedauw
Status:deferred
Tags:
Comment:
Version 0.7
Modified paths:
  • /trunk/extensions/Push/Push.php (modified) (history)
  • /trunk/extensions/Push/RELEASE-NOTES (modified) (history)

Diff [purge]

Index: trunk/extensions/Push/Push.php
@@ -25,7 +25,7 @@
2626 die( 'Not an entry point.' );
2727 }
2828
29 -define( 'Push_VERSION', '0.7 alpha' );
 29+define( 'Push_VERSION', '0.7' );
3030
3131 $wgExtensionCredits['other'][] = array(
3232 'path' => __FILE__,
Index: trunk/extensions/Push/RELEASE-NOTES
@@ -5,7 +5,7 @@
66
77
88 === Version 0.7 ===
9 -2011-01-xx
 9+2011-01-14
1010
1111 * Fixed issue with non-existing, but embedded, images.
1212 * Added 2 hooks that allows modifying push requests before they are executed.

Status & tagging log