MediaWiki:Common.js: Difference between revisions
No edit summary Tag: Reverted |
No edit summary Tag: Reverted |
||
Line 109: | Line 109: | ||
mw.loader.using('mediawiki.util').then(function () { | mw.loader.using('mediawiki.util').then(function () { | ||
localStorage.setItem('vector-main-menu-pinned', 'true'); | |||
}); | }); |