| Index: trunk/extensions/Push/includes/Push_Tab.php |
| — | — | @@ -17,8 +17,8 @@ |
| 18 | 18 | * Adds an "action" (i.e., a tab) to allow pushing the current article. |
| 19 | 19 | */ |
| 20 | 20 | public static function displayTab( $obj, &$content_actions ) { |
| 21 | | - // Make sure that this is not a special page. |
| 22 | | - if ( isset( $obj->mTitle ) && $obj->mTitle->getNamespace() != NS_SPECIAL ) { |
| | 21 | + // Make sure that this is not a special page and that the page exists. |
| | 22 | + if ( isset( $obj->mTitle ) && $obj->mTitle->getNamespace() != NS_SPECIAL && $obj->mTitle->exists() ) { |
| 23 | 23 | global $wgRequest; |
| 24 | 24 | |
| 25 | 25 | $content_actions['push'] = array( |