「MediaWiki:Gadget-popups.js」の版間の差分
削除された内容 追加された内容
細 namespace based on wgFormattedNamespaces |
|||
4行目:
popupStructure='menus';
popupShortcutKeys=true;
pg.ns.list=$.map([-2,-1,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],function(){wgFormattedNamespaces[this]});
|