User:Pgan002/vector.js

// http://en.wikipedia.org/wiki/Wikipedia:Tools/Navigation_popups#Options popupStructure('shortmenus'); popupModifier('ctrl'); popupAppendRedirNavLinks('false'); var wikEdConfig = {}; wikEdConfig.unhideShift = true;