MediaWiki:Gadgets-definition

Changes to this page will add custom user-selected gadgets to their preferences.

Gadgets

 * diffreddottedborder|diffreddottedborder.css
 * highlightredirect‎|highlightredirect‎.css

admin-gadgets

 * fastdelete|fastdelete.js