Jump to content

User:ProveIt GT/ProveIt.js

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by ProveIt GT (talk | contribs) at 01:26, 30 June 2013 (Deploy commit c978344be3df of ProveIt.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/*
 * Imported from Mercurial commit c978344be3df as of 2013-06-30 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( '//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' );