Ed Sanders ad5b8f99ee Replace $( 'body' ) with $( document.body ) ... Better to use the actual element rather than a string selector. Change-Id: I7d2c08cf1e3c6f14be5bf65ac040b7cdfdd8c594		2018-12-13 16:44:25 +00:00
..
ce
dm
init	Replace $( 'body' ) with $( document.body )	2018-12-13 16:44:25 +00:00
tests
themes
ui	Replace $( 'body' ) with $( document.body )	2018-12-13 16:44:25 +00:00
ve.MWutils.js