“MediaWiki:Gadget-SettingsManager.js”的页面值