User:SPat/vector.js

// User:Lupin/popups.js

importScript('User:Lupin/popups.js');

importScript('User:Ioeth/friendly.js');

importScript('User:ProveIt GT/ProveIt.js'); // User:ProveIt GT/ProveIt.js