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

Revision: 94864
Author:   jlemley
Date:     2011-08-18 05:31:46 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
Added personal URL option.

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

Modified: trunk/extensions/Favorites/Favorites.php
===================================================================
--- trunk/extensions/Favorites/Favorites.php    2011-08-18 04:54:24 UTC (rev 
94863)
+++ trunk/extensions/Favorites/Favorites.php    2011-08-18 05:31:46 UTC (rev 
94864)
@@ -22,11 +22,12 @@
        'name' => 'Favorites',
        'author' => 'Jeremy Lemley',
        'descriptionmsg' => 'favorites-desc',
-       'version' => '0.2.2',
+       'version' => '0.2.5',
        'url' => "http://www.mediawiki.org/wiki/Extension:Favorites";,
 );
  
-global $wgUseIconFavorite;
+global $wgUseIconFavorite, $wgFavoritesPersonalURL;
+
 $dir = dirname(__FILE__) . '/';
 $wgExtensionMessagesFiles['Favorites'] = $dir . 'favorites.i18n.php';
 $wgAutoloadClasses['Favorites'] = $dir . 'Favorites_body.php';
@@ -62,7 +63,32 @@
 $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