MediaWiki:Gadget-EditTop.js: Difference between revisions
Jump to navigation
Jump to search
Want an adless experience? Log in or Create an account.
m (Testing) |
mNo edit summary |
||
| Line 46: | Line 46: | ||
var a = span0.getElementsByTagName ("A")[0]; | var a = span0.getElementsByTagName ("A")[0]; | ||
if (a.href.indexOf ("§ion=T") == -1) { | if (a.href.indexOf ("§ion=T") == -1) { | ||
a.title = a.title.replace (/(: |：).*$/, "$1" + | a.title = a.title.replace (/(: |：).*$/, "$1" + "wgPageName"); | ||
a.setAttribute ("href", a.getAttribute ("href", 2).replace (/§ion=\d+/, "§ion=0")); | a.setAttribute ("href", a.getAttribute ("href", 2).replace (/§ion=\d+/, "§ion=0")); | ||
} | } | ||