מדיה ויקי:Gadget-foldPortalMenus.js: היסטוריית גרסאות

18 ביולי 2023

• נוכחיתקודמת 17:1317:13, 18 ביולי 2023‏ גילגמש שיחה תרומות‏ 3,041 בתים +3,041‏ יצירת דף עם התוכן "// Mediawiki:Gadget-foldPortalMenus.js // allow folding of side-menus to emulate a feature which was removed from mediawiki. $( function() { "use strict"; function doit() { var storageKey = 'portalFolded', skin = mw.config.get( 'skin' ), portalSelector, bodySelector, divPortalSelector = 'div.portal', foldedClass = 'foldmenu-folded', expandedClass = 'foldmenu-expanded', heights = {}, toggleElement = function( elem ) { var id = elem.close..."