MediaWiki: Wikieditor-publish-button-publish