MediaWiki:Gadget-showAnchors.js

Aus Wikibooks

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
  • Internet Explorer/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Strg+F5
// 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;');
		}
	}
});