17,230
edits
Want an adless experience? Log in or Create an account.
MediaWiki:Gadget-Redirects.js (view source)
Revision as of 03:16, January 26, 2017
, January 26, 2017addPortletLink -> mw.util.addPortletLink
mNo edit summary |
(addPortletLink -> mw.util.addPortletLink) |
||
| Line 29: | Line 29: | ||
with(highlightRedirects) | with(highlightRedirects) | ||
{ | { | ||
addPortletLink ('p-cactions', 'javascript:highlightRedirects.run();', 'Redirects', 'ca-redirects', 'Highlights all links which are redirects', 'r') || | mw.util.addPortletLink ('p-cactions', 'javascript:highlightRedirects.run();', 'Redirects', 'ca-redirects', 'Highlights all links which are redirects', 'r') || | ||
addPortletLink ('views', 'javascript:highlightRedirects.run();', 'Redirects', 'ca-redirects', 'Highlights all links which are redirects', 'r'); | mw.util.addPortletLink ('views', 'javascript:highlightRedirects.run();', 'Redirects', 'ca-redirects', 'Highlights all links which are redirects', 'r'); | ||
} | } | ||
} | } | ||