MediaWiki: Wikieditor-toolbar-tool-heading-3