Change Details

Relevant extension code: https://phabricator.wikimedia.org/diffusion/EPTR/browse/master/modules/ext.pageTriage.defaultDeletionTagsOptions/ext.pageTriage.defaultDeletionTagsOptions.js We should be able to override these values on-wiki.

Relevant extension code: * https://phabricator.wikimedia.org/diffusion/EPTR/browse/master/modules/ext.pageTriage.defaultDeletionTagsOptions/ext.pageTriage.defaultDeletionTagsOptions.js * https://phabricator.wikimedia.org/diffusion/EPTR/browse/master/modules/ext.pageTriage.defaultTagsOptions/ext.pageTriage.defaultTagsOptions.js Relevant onwiki override pages: * (Config notes: https://www.mediawiki.org/wiki/Extension:PageTriage#Configuration * https://en.wikipedia.org/wiki/MediaWiki:PageTriageExternalDeletionTagsOptions.js * https://en.wikipedia.org/wiki/MediaWiki:PageTriageExternalTagsOptions.js We should be able to override these values on-wiki.

Relevant extension code: * https://phabricator.wikimedia.org/diffusion/EPTR/browse/master/modules/ext.pageTriage.defaultDeletionTagsOptions/ext.pageTriage.defaultDeletionTagsOptions.js * https://phabricator.wikimedia.org/diffusion/EPTR/browse/master/modules/ext.pageTriage.defaultTagsOptions/ext.pageTriage.defaultTagsOptions.js Relevant onwiki override pages: * (Config notes: https://www.mediawiki.org/wiki/Extension:PageTriage#Configuration * https://en.wikipedia.org/wiki/MediaWiki:PageTriageExternalDeletionTagsOptions.js * https://en.wikipedia.org/wiki/MediaWiki:PageTriageExternalTagsOptions.js We should be able to override these values on-wiki.