User:EncyclopediaBuilder/monobook.js

//

function winc(s) { s = s.replace(/^\[\[/, ).replace(/\]\]$/, ); document.write(' '); } winc('User:Cactus.man/Scripts/Time.js');            // Add date and time to the personal menu

//User:Lupin/popups.js importScript('User:Lupin/popups.js'); popupStructure='shortmenus'; //END