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.
// Load jump to file
mw.loader.load('//en.wikisource.org/w/index.php?title=User:Inductiveload/jump to file/load.js&action=raw&ctype=text/javascript');

// First wait for mediawiki.util to load, and the page to be ready.
$.when(mw.loader.using('mediawiki.util'), $.ready).then(function () {
	const title = mw.config.get('wgPageName');
	
	// Add link to toolbar.
	mw.util.addPortletLink(
		'p-tb', /* portletId */
		'/wiki/Special:PrefixIndex/' + title, /* href */
		'Pages with prefix', /* text */
		't-prefixindex', /* id */
		'A list of all wiki pages with this prefix [⌃⌥i]', /* tooltip */
		'i' /* accesskey */
		/* '#t-recentchangeslinked' nextnode */
	);
});