Feature summary (what you would like to be able to do and where):
Add something like isLoggedIn to https://www.mediawiki.org/wiki/Extension:Gadgets#Options
Use case(s) (list the steps that you performed to discover that problem, and describe the actual underlying problem which you want to solve. Do not describe only a solution):
Benefits (why should this be implemented?):
- avoid hacks such as https://en.wikipedia.org/w/index.php?title=MediaWiki:Gadgets-definition&curid=14548426&diff=1181939245&oldid=1181893240
- less prone to breakage than a hack (which recently broke)
- syntax will be more readable