Jump to content

User:ProveIt GT/ProveIt.js: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
ProveIt GT (talk | contribs)
Deploy commit c978344be3df of ProveIt.
ProveIt GT (talk | contribs)
Deploy commit cac501b6453213d400a4ad75b1180d1464980837 of ProveIt.
Line 1: Line 1:
/*
/*
* Imported from Mercurial commit c978344be3df as of 2013-06-30 from http://code.google.com/p/proveit-js/
* Imported from Git commit cac501b6453213d400a4ad75b1180d1464980837 as of 2014-02-18 from https://github.com/proveit-js/proveit
* Changes should be made through that Google Code project.
* Changes should be made through that Google Code project.
*/
*/

Revision as of 04:39, 3 March 2014

/*
 * Imported from Git commit cac501b6453213d400a4ad75b1180d1464980837 as of 2014-02-18 from https://github.com/proveit-js/proveit
 * 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( '//en.wikipedia.org/enwiki/w/index.php?title=User:ProveIt_GT/ProveIt.css&action=raw&ctype=text/css', 'text/css' );
mw.loader.load( '//en.wikipedia.org/enwiki/w/index.php?title=User:ProveIt_GT/ProveIt_main.js&action=raw&ctype=text/javascript' );