wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot 1a9f6489d7 Merge "Rename getDocumentSlice to cloneFromRange"
2013-10-03 18:19:13 +00:00
..
dialogs Merge "Rename getDocumentSlice to cloneFromRange" 2013-10-03 18:19:13 +00:00
inspectors Implement live preview in MWMathInspector 2013-09-26 14:59:16 -07:00
styles Scroll into view support 2013-09-16 16:46:58 -07:00
tools 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
widgets Merge "'Config' -> 'Configuration' in all comments" 2013-09-26 19:02:30 +00:00
ve.ui.MWDialog.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00