MediaWiki:Gadget-EditTop.js: Difference between revisions
Jump to navigation
Jump to search
Want an adless experience? Log in or Create an account.
mNo edit summary |
mNo edit summary |
||
Line 2: | Line 2: | ||
$(function edittop_hook () { | $(function edittop_hook () { | ||
var localtitles = { | var localtitles = { | ||
en: 'Edit lead section', | en: 'Edit lead section', | ||
}; | }; | ||
Line 46: | Line 39: | ||
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" + mw.config.get( ' | a.title = a.title.replace (/(: |:).*$/, "$1" + mw.config.get( 'wgTitle' )); | ||
a.setAttribute ("href", a.getAttribute ("href", 2).replace (/§ion=\d+/, "§ion=0")); | a.setAttribute ("href", a.getAttribute ("href", 2).replace (/§ion=\d+/, "§ion=0")); | ||
} | } |