MediaWiki:Gadget-showAnchors.js
Erscheinungsbild
Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.
- Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
- Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
- Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
// Von [[Benutzer:Stephan Kulla]]
$(function(){
var spans = document.getElementsByTagName('span');
var span;
var anchorName;
for(var i = 0; i < spans.length; ++i){
span = spans[i];
if(span.hasAttribute('id') && span.getAttribute('id').match('^Anker:.*')) {
anchorName = span.getAttribute('id');
anchorName = anchorName.substring('Anker:'.length, anchorName.length);
anchorName = anchorName.replace(/[.]([0-9A-Fa-f]{2})/g, "%$1");
var begin = anchorName.match(/^_*/);
var end = anchorName.match(/_*$/);
anchorName = anchorName.substring(begin[0].length, anchorName.length-end[0].length);
anchorName = anchorName.replace(/([^_])_([^_])/g, "$1 $2");
anchorName = decodeURIComponent(anchorName);
span.appendChild(document.createTextNode('⚓ ' + begin + anchorName + end));
span.setAttribute('class', 'noprint JSshowAnchors');
span.setAttribute('style', 'color:gray; font-size:small; vertical-align:super;');
}
}
});