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