extensions/WikiEditor/modules/ext.wikiEditor.less


1
2
3
4
5
6
7
8
9
10
11

/**
 * CSS for WikiEditor
 */

/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
.editButtons {
	.editHelp,
	.mw-editButtons-pipe-separator {
		display: none;
	}
}