wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 07:15:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
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
..
ve.init.mw.DesktopArticleTarget.init.js Replace $( 'body' ) with $( document.body ) 2018-12-13 16:44:25 +00:00
ve.init.mw.DesktopArticleTarget.js Replace $( 'body' ) with $( document.body ) 2018-12-13 16:44:25 +00:00
ve.init.mw.MobileArticleTarget.js Move 'done' tool out of static config 2018-10-03 22:37:48 +01:00