Thread:Extension talk:Favorites/Favorites link at the top of mediawiki next to user links?