User:Nardog/dark-mode-toggle.js: Difference between revisions

Revision as of 13:56, 5 November 2022

Revision as of 14:04, 5 November 2022

Line 34:

function addPortlets() {

var nextnode = mw.config.getmakePortletLink('skinp-personal') !==, 'minervapt-darkmode' &&, '#pt-watchlist');

makePortletLink('p-personal', 'pt-darkmode', nextnode);

if (mw.config.get('skin') === 'vector-2022') {

mw.loader.using('skins.vector.es6').then(function () {

makePortletLink('p-personal-sticky-header', 'pt-darkmode-sticky-header', nextnode + '#pt-watchlist-sticky-header');

});

}

Line 138 ⟶ 137:

$.when($.ready, mw.loader.using(['mediawiki.util', 'mediawiki.api', 'mediawiki.Uri', 'mediawiki.storage', 'es6-polyfills'])).then(function () {

setHtmlClass();

setThemeColor();

addPortlets$(addPortlets);

// Recover state if the navigation was too quick