MediaWiki:Gadget-MoreMenu-local.js: Difference between revisions
(Adding MoreMenu gadget) |
(Readd) Tag: Manual revert |
(2 intermediate revisions by the same user not shown) | |
(No difference)
|
Latest revision as of 20:37, 14 September 2023
mw.loader.load('https://meta.wikimedia.org/w/load.php?modules=ext.gadget.MoreMenu');