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.
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.
Nardog's scripts
Extra functionality
CatChangesViewer – Lists recent category additions/removals on a category page.
CodeEditorAssist – Allows customizing the code editor, e.g. changing the color theme and enabling live autocompletion.
Consecudiff – Adds links to diffs of consecutive edits by the same user on watchlist, history, etc.
CopyCodeBlock – Adds a button to copy the content of each code block (<pre>).
CopySectLink – Adds a button to copy the unencoded page title or section path next to each heading.
MoveHistory – Lists the past moves a page has gone through.
RCMuter – Hides specified users' edits on Watchlist/RecentChanges.
SmartDiff – Makes links and template calls in diffs clickable (supports red links, avoids WP:SEAOFBLUE).
Editing assistance
DiffUndo – Adds an undo button to each line on the diff while editing.