MediaWiki:Common.js
De fablabo
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(); };