wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot 538992a24c Merge "Merge Media Edit and Media Insert dialogs"
2014-07-02 02:53:05 +00:00
..
dialogs Merge Media Edit and Media Insert dialogs 2014-07-01 17:30:51 -07:00
inspectors build: Update jscs and use new "wikimedia" preset 2014-06-26 17:00:15 +00:00
pages Handle transcluding templates outside of the template namespace properly 2014-06-28 18:07:45 +00:00
styles Merge "Merge Media Edit and Media Insert dialogs" 2014-07-02 02:53:05 +00:00
themes Hide unsupported UI elements in references on mobile 2014-05-21 16:18:08 -07:00
tools Merge Media Edit and Media Insert dialogs 2014-07-01 17:30:51 -07:00
widgets Handle transcluding templates outside of the template namespace properly 2014-06-28 18:07:45 +00:00
ve.ui.MWCommandRegistry.js Merge Media Edit and Media Insert dialogs 2014-07-01 17:30:51 -07:00