wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init
History
jenkins-bot fb18831143 Merge "mw.ViewPageTarget: Fix broken firstHeading transition"
2013-10-07 10:30:17 +00:00
..
styles mw.ViewPageTarget: Fix broken firstHeading transition 2013-10-06 22:59:13 +02:00
targets Merge "mw.ViewPageTarget: Fix broken firstHeading transition" 2013-10-07 10:30:17 +00:00
ve.init.mw.js The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.init.mw.Platform.js data: Rename MessagesModule to DataModule 2013-08-29 18:07:35 -07:00
ve.init.mw.Target.js Toolbar action widgetization and UI refactoring 2013-10-04 16:26:13 -07:00