MediaWiki:Gadget-MoreMenu-local.js

From Wiktionary, the free dictionary
Jump to navigation Jump to search

Note: You may have to bypass your browser’s cache to see the changes. In addition, after saving a sitewide CSS file such as MediaWiki:Common.css, it will take 5-10 minutes before the changes take effect, even if you clear your cache.

  • Mozilla / Firefox / Safari: hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Command-R on a Macintosh);
  • Konqueror and Chrome: click Reload or press F5;
  • Opera: clear the cache in Tools → Preferences;
  • Internet Explorer: hold Ctrl while clicking Refresh, or press Ctrl-F5.
This script lacks a documentation subpage. Please create it.
This script is a part of the MoreMenu-local gadget (edit definitions)
Description (edit): Adds Page and User menus to pages. See MoreMenu on Meta-Wiki.
Useful links: subpage list • links • redirects

mw.loader.load('https://meta.wikimedia.org/w/load.php?modules=ext.gadget.MoreMenu');
Retrieved from "https://en.wiktionary.org/w/index.php?title=MediaWiki:Gadget-MoreMenu-local.js&oldid=76093684"