User:ProveIt GT/loader dev.js

/* * Imported from Mercurial commit 008c5fd8b30f as of 2013-03-11 from http://code.google.com/p/proveit-js/ * Changes should be made through that Google Code project. */ // Loader to include CSS and JS, so main script does not have to concern itself with loading CSS. // In the gadget version, ResourceLoader loads the CSS instead.

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