Bugman admin
Copied from https://www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-NavFrame.js&oldid=2965879.
12:21
+3,748