Gadgets

Below is a list of special gadgets users can enable on their preferences page, as defined by the definitions. This overview provides easy access to the system message pages that define each gadget's description and code.

• ^(D) Reference Tooltips: hover over inline citations to see reference information without moving away from the article text (does not work if "Navigation popups" is enabled above)  (View description | Export)
  Uses: Gadget-ReferenceTooltips.js, Gadget-ReferenceTooltips.css
  Enabled for everyone by default.
• ⧼gadget-ProveIt⧽  (View description | Export)
  Uses: Gadget-ProveIt.js