Gebruiker:Ernie/common.js

Opmerking: na het publiceren is het wellicht nodig uw browsercache te legen om de veranderingen te zien.

Firefox / Safari: houd Shift ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
Edge: houd Ctrl ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5.

importScript('Gebruiker:Silver Spoon/dpzoeker.js');
// Real-Time recent changes
(mw.loader.getState('ext.gadget.rtrc') ? 
mw.loader.load('ext.gadget.rtrc') : 
mw.loader.load('https://www.mediawiki.org/w/load.php?modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'nl')));