MediaWiki: Wikieditor-publish-dialog-publish