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

Thanks, but I would prefer to add this as a feature with a proper configuration option rather than document a bug as such. I removed the references to it from the documentation. I'll add them back once I have a properly functioning (and correctly named) configuration option added to the code.