| 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.8' ); |
| | 29 | +define( 'Push_VERSION', '0.9 alpha' ); |
| 30 | 30 | |
| 31 | 31 | $wgExtensionCredits['other'][] = array( |
| 32 | 32 | 'path' => __FILE__, |
| Index: trunk/extensions/Push/RELEASE-NOTES |
| — | — | @@ -4,6 +4,10 @@ |
| 5 | 5 | Latest version of the release notes: http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/Push/RELEASE-NOTES?view=co |
| 6 | 6 | |
| 7 | 7 | |
| | 8 | +=== Version 0.9 === |
| | 9 | + |
| | 10 | +* Fixed compatibility with MediaWiki 1.18. |
| | 11 | + |
| 8 | 12 | === Version 0.8 === |
| 9 | 13 | 2011-02-27 |
| 10 | 14 | |
| Index: trunk/extensions/Push/includes/Push_Tab.php |
| — | — | @@ -19,9 +19,10 @@ |
| 20 | 20 | global $wgUser, $egPushTargets; |
| 21 | 21 | |
| 22 | 22 | // Make sure that this is not a special page, the page has contents, and the user can push. |
| 23 | | - if (isset( $obj->mTitle ) |
| 24 | | - && $obj->mTitle->getNamespace() != NS_SPECIAL |
| 25 | | - && $obj->mTitle->exists() |
| | 23 | + $title = $obj->getTitle(); |
| | 24 | + if ( |
| | 25 | + $title->getNamespace() != NS_SPECIAL |
| | 26 | + && $title->exists() |
| 26 | 27 | && $wgUser->isAllowed( 'push' ) |
| 27 | 28 | && count( $egPushTargets ) > 0 ) { |
| 28 | 29 | |
| — | — | @@ -30,7 +31,7 @@ |
| 31 | 32 | $content_actions['push'] = array( |
| 32 | 33 | 'text' => wfMsg( 'push-tab-text' ), |
| 33 | 34 | 'class' => $wgRequest->getVal( 'action' ) == 'push' ? 'selected' : '', |
| 34 | | - 'href' => $obj->mTitle->getLocalURL( 'action=push' ) |
| | 35 | + 'href' => $title->getLocalURL( 'action=push' ) |
| 35 | 36 | ); |
| 36 | 37 | } |
| 37 | 38 | |