http://www.mediawiki.org/wiki/Special:Code/MediaWiki/94884

Revision: 94884
Author:   jlemley
Date:     2011-08-18 12:32:22 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
Reverted

Modified Paths:
--------------
    trunk/extensions/Favorites/Favorites.php

Modified: trunk/extensions/Favorites/Favorites.php
===================================================================
--- trunk/extensions/Favorites/Favorites.php    2011-08-18 12:02:09 UTC (rev 
94883)
+++ trunk/extensions/Favorites/Favorites.php    2011-08-18 12:32:22 UTC (rev 
94884)
@@ -22,12 +22,11 @@
        'name' => 'Favorites',
        'author' => 'Jeremy Lemley',
        'descriptionmsg' => 'favorites-desc',
-       'version' => '0.2.5',
+       'version' => '0.2.2',
        'url' => "http://www.mediawiki.org/wiki/Extension:Favorites";,
 );
  
-global $wgUseIconFavorite, $wgFavoritesPersonalURL;
-
+global $wgUseIconFavorite;
 $dir = dirname(__FILE__) . '/';
 $wgExtensionMessagesFiles['Favorites'] = $dir . 'favorites.i18n.php';
 $wgAutoloadClasses['Favorites'] = $dir . 'Favorites_body.php';
@@ -63,32 +62,7 @@
 $wgHooks['TitleMoveComplete'][] = 'fnHookMoveToFav';
 $wgHooks['ArticleDeleteComplete'][] = 'fnHookDeleteFav';
 
-// Do we want to display a "My Favorites" link in the personal urls area?
-if ($wgFavoritesPersonalURL) {
-       $wgHooks['PersonalUrls'][] = 'onAddPersonalUrls';
-} 
 
-function onAddPersonalUrls( &$personal_urls, &$wgTitle ) {
-      global $wgUser;
- 
- //     $skin = $wgUser->getSkin();
- 
-      if( $wgUser->getID() ) {
-        $url['userpage'] = array_shift( $personal_urls );
-        $url[] = array_shift( $personal_urls );
-        $url[] = array_shift( $personal_urls );
-        
-         $url[] = array( 'text' => wfMsg( 'myfavoritelist' ),
-                         'href' => Skin::makeKnownUrlDetails( 
'Special:Favoritelist' )
-                               );
-            
-       
-         $personal_urls = $url + $personal_urls;
-      }
- 
-      return true;
-}
-
 function fnAction ($action, $article) {
        $title = new Title();
        $favArticle = new FavArticle($title); 


_______________________________________________
MediaWiki-CVS mailing list
MediaWiki-CVS@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs

Reply via email to