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