User:Nardog/RCMuter

This script allows you to "mute" users you specify, i.e. stop seeing their edits, on watchlist and recent changes. To mute a user, click "Edit muted" below the top heading on watchlist or recent changes and enter their name, or click "Show toggle buttons" and click "mute" in the list. The list of muted users is stored in your account's preferences, so it is not public and is shared across devices.

Installation
Add the following to your common.js or global.js:

Or you may enable the script installer in and click "Install" in the infobox on this page.

Usage
The script adds up to three links beneath the main heading on watchlist or recent changes:


 * "Edit muted" shows the list of users you've muted and allows you to add or remove multiple users at once. The number after the label is that of muted users.
 * "Show toggle buttons" shows a "mute" or "unmute" button next to each user in the body of the watchlist or recent changes.
 * "Show muted" temporarily disables the muting and reveals the muted edits. Hidden if nothing has been muted. The number after the label is that of muted changes.