Manual:$wgUseTagFilter/de-formal

Details
Allow filtering by change tag in recent changes, page history, user contributions and new pages.

Has no effect if no tags are defined in the database table and there are no extensions enabled which have defined their own tags.