“MediaWiki:Gadget-heimu-toggle-defaultOn.js”的版本间的差异

2021年10月24日 (日) 19:12的最新版本

if (mw.config.get('AnnToolsHeimuToggleDefaultOn')) $('#heimu_toggle').click();
else mw.config.set('AnnToolsHeimuToggleDefaultOn', true);