User:Eli.pousson/vector.js

importScript('User:ProveIt GT/ProveIt.js'); mw.loader.load('//en.wikipedia.org/w/index.php?title=User:ProveIt_GT/ProveIt.js&action=raw&ctype=text/javascript'); // User:ProveIt GT/ProveIt.js