autopatrol
297
edits
MediaWiki:Gadget-DefaultSummaries.js: Difference between revisions
Jump to navigation
Jump to search
Want an adless experience? Log in or Create an account.
MediaWiki:Gadget-DefaultSummaries.js (view source)
Revision as of 18:05, November 1, 2011
, November 1, 2011added another Minor Dropdown option
mNo edit summary |
(added another Minor Dropdown option) |
||
| Line 75: | Line 75: | ||
editsummAddOptionToDropdown(minorDropdown, "Spelling/grammar correction"); | editsummAddOptionToDropdown(minorDropdown, "Spelling/grammar correction"); | ||
editsummAddOptionToDropdown(minorDropdown, "Fixing style/layout errors"); | editsummAddOptionToDropdown(minorDropdown, "Fixing style/layout errors"); | ||
editsummAddOptionToDropdown(minorDropdown, "Fixing minor link errors"); | |||
if (mw.config.get('wgNamespaceNumber') != 1 && mw.config.get('wgNamespaceNumber') != 3 && mw.config.get('wgNamespaceNumber') != 5 && mw.config.get('wgNamespaceNumber') != 7 && mw.config.get('wgNamespaceNumber') != 9 && mw.config.get('wgNamespaceNumber') != 11 && mw.config.get('wgNamespaceNumber') != 13 && mw.config.get('wgNamespaceNumber') != 15) { | if (mw.config.get('wgNamespaceNumber') != 1 && mw.config.get('wgNamespaceNumber') != 3 && mw.config.get('wgNamespaceNumber') != 5 && mw.config.get('wgNamespaceNumber') != 7 && mw.config.get('wgNamespaceNumber') != 9 && mw.config.get('wgNamespaceNumber') != 11 && mw.config.get('wgNamespaceNumber') != 13 && mw.config.get('wgNamespaceNumber') != 15) { | ||