Index: trunk/extensions/Push/Push.php |
— | — | @@ -25,7 +25,7 @@ |
26 | 26 | die( 'Not an entry point.' ); |
27 | 27 | } |
28 | 28 | |
29 | | -define( 'Push_VERSION', '0.7 alpha' ); |
| 29 | +define( 'Push_VERSION', '0.7' ); |
30 | 30 | |
31 | 31 | $wgExtensionCredits['other'][] = array( |
32 | 32 | 'path' => __FILE__, |
Index: trunk/extensions/Push/RELEASE-NOTES |
— | — | @@ -5,7 +5,7 @@ |
6 | 6 | |
7 | 7 | |
8 | 8 | === Version 0.7 === |
9 | | -2011-01-xx |
| 9 | +2011-01-14 |
10 | 10 | |
11 | 11 | * Fixed issue with non-existing, but embedded, images. |
12 | 12 | * Added 2 hooks that allows modifying push requests before they are executed. |