User:ProveIt GT/ProveIt.js

/*

* Imported from Git commit 72b9abf17fe33ab8af55a7cfb074a9beb35365ab as of 2015-03-09 from https://github.com/proveit-js/proveit

* Changes should be made through that GitHub 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( '//en.wikipedia.org/w/index.php?title=User:ProveIt_GT/ProveIt.css&action=raw&ctype=text/css', 'text/css' );

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