Zuletzt bearbeitet vor 2 Jahren
von C.Gratl

MediaWiki:Common.js: Unterschied zwischen den Versionen

 
C.Gratl (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 2: Zeile 2:
/* Bugfix for https://sourceforge.net/p/bluespice/bugs/373/ */
/* Bugfix for https://sourceforge.net/p/bluespice/bugs/373/ */
mw.loader.using( 'mediawiki.Title' );
mw.loader.using( 'mediawiki.Title' );
var divs = document.getElementsByClassName('thumbinner');for ( var i = 0; i < divs.length; i++ ) {if (divs[i] && divs[i].firstChild) {var imageFileSrc = divs[i].firstChild.firstChild.getAttribute('src');var filename = imageFileSrc.substring(0, imageFileSrc.lastIndexOf("/")).replace('/thumb', "");divs[i].firstChild.setAttribute('href', filename + '?download=1');}}

Version vom 26. Juli 2023, 12:10 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
/* Bugfix for https://sourceforge.net/p/bluespice/bugs/373/ */
mw.loader.using( 'mediawiki.Title' );
var divs = document.getElementsByClassName('thumbinner');for ( var i = 0; i < divs.length; i++ ) {if (divs[i] && divs[i].firstChild) {var imageFileSrc = divs[i].firstChild.firstChild.getAttribute('src');var filename = imageFileSrc.substring(0, imageFileSrc.lastIndexOf("/")).replace('/thumb', "");divs[i].firstChild.setAttribute('href', filename + '?download=1');}}