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

This did not work for me. If you hop onto #mediawiki on Freenode, I can give you login credentials so you can see it in action.