User:Jeeputer/highlightPiped
From Wikipedia, the free encyclopedia
Pipe Highlighter is a user script that highlights piped links. It is completely compatible with BrandonXLF's GreenRedirects and Gadget-DisambiguationLinks.css which highlight links to redirects and disambiguation pages, respectively.
Quick Facts Description, Author(s) ...
Description | Highlights piped links in body of pages. |
---|---|
Author(s) | Jeeputer |
Updated | August 28, 2023 (11 months ago) |
Skin support |
|
Source | User:Jeeputer/highlightPiped.js |
Close