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 07a513ac9d Merge "Move edit tab generation into PHP and make it more configurable"
2013-08-02 04:10:46 +00:00
..
styles Move edit tab generation into PHP and make it more configurable 2013-08-01 21:08:13 -07:00
targets Merge "Move edit tab generation into PHP and make it more configurable" 2013-08-02 04:10:46 +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 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