MediaWiki: Wikieditor-publish-dialog-minor