Merge "Update docs/hooks.txt for ShowSearchHitTitle"

[mediawiki.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.less

.rcshowhidemine {
        // HACK: Hide this filter since it already appears in
        // the new filter drop-down.
        display: none;
}