MediaWiki:Common.js: различия между версиями

    mw.loader.using('ext.gadget.theme').then(function() {

        const { loadTheme, initThemeMenu } = mw.themeUtils;

        function createSettingsDropdown(currentTheme) {

            const $dropdown = $('<div>', { class: 'theme-dropdown' });

            const $details = $('<details>', { id: 'theme-preferences-details', class: 'theme-dropdown-details' });

            const $summary = $('<summary>', { class: 'theme-dropdown-summary', 'data-tooltip-initialized': 'true' })

            $details.append($summary);

            const $window = $('<div>', { id: 'theme-preferences', class: 'theme-window' }).hide();

            const $header = $('<div>', {

                id: 'theme-preferences__header',

                class: 'theme-window__header',

                text: 'Параметры'

             });

            $window.append($header);

            const $content = $('<div>', {

                id: 'theme-preferences__content',

                class: 'theme-window__content'

             });

            $window.append($content);

             initThemeMenu($content, currentTheme);

            $dropdown.append($details, $window);

            $('#user-tools').prepend($dropdown);

            $details.on('toggle', function() {

                $(this).prop('open') ? $window.show() : $window.hide();

            });

         function init() {

             if (mw.config.get('wgPageName') !== 'Обсуждение_участника:Pok') return;

            const theme = loadTheme();

            createSettingsDropdown(theme);

        }

         $(init);

     });