wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init
History
Timo Tijhof 9e89c019f1 mw.ViewPageTarget.init: Don't depend on mediawiki.user 
Follows-up 5036099. We don't have that dependency.

Change-Id: I2bdf397a0e575f3f0fb82b905c92c34278b39037
2013-08-01 03:46:49 +02:00
..
styles ve.ui.Toolbar: Refactor floating logic for performance 2013-07-30 01:47:54 +02:00
targets mw.ViewPageTarget.init: Don't depend on mediawiki.user 2013-08-01 03:46:49 +02:00
ve.init.mw.js The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.init.mw.Platform.js The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.init.mw.splitTest.js The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.init.mw.Target.js Infrastructure for loading plugins in the MW integration 2013-07-26 19:31:56 +00:00