MediaWiki:Gadget-AdminTools

AdminTools - Adds several tabs to a user's profile to give admins quick access to some useful functions.