MediaWiki:Common.js

Révision de 11 décembre 2014 à 16:02 par Divag (discussion | contributions)

Note : après avoir enregistré vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

  • Firefox / Safari : Maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac) ;
  • Google Chrome : Appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac) ;
  • Internet Explorer : Maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ;
  • Opera : Allez dans Menu → Settings (Opera → Préférences sur un Mac) et ensuite à Confidentialité & sécurité → Effacer les données d'exploration → Images et fichiers en cache.
/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
/**
 * Additional linked icon for the searchlabel of result format "feed"
 *
 * @since 1.9.0
 *
 * @rev 1
 * @author mwjames
 */
 
$( '.smw-feed-furtherresults > a' ).addClass( 'feedlink' );


function updateCartoucheSize() {
	
	var cartouchePadding = 30;
	var infosHeight = document.getElementById('infos').offsetHeight;
	var infosTop = document.getElementById('infos').offsetTop;

	var sommaireHeight = document.getElementById('sommaire').offsetHeight;

	var sommaireTop = document.getElementById('sommaire').offsetTop;

	var cartoucheHeight = document.getElementById('cartouche').offsetHeight

	if (cartoucheHeight < (sommaireTop - infosTop + sommaireHeight))
	{
		document.getElementById('cartouche').style.height = (sommaireTop - infosTop + sommaireHeight + cartouchePadding + cartouchePadding) + 'px';
	}
	else
	{
		document.getElementById('cartouche').style.height = infosHeight + cartouchePadding + 'px';
	}
}

window.onresize = function(event) {
    updateCartoucheSize();
};

window.onload = function(event) {
    updateCartoucheSize();
};