wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot c18534bcad Merge changes If814e178,Id133431e,I38d63e31,I16d575b6 
* changes:
  Plain text paste with paste special
  Use rare unicode characters for paste placeholders
  Rich paste
  Add fixUpInsertion to newFromDocumentReplace
2013-11-26 21:07:46 +00:00
..
dialogs Merge changes If814e178,Id133431e,I38d63e31,I16d575b6 2013-11-26 21:07:46 +00:00
inspectors Fix crash in MWExtensionNode creation mode 2013-11-22 13:03:02 +00:00
styles Fix icon opacities 2013-11-22 13:47:20 +00:00
tools Window refactor 2013-11-08 12:33:25 -08:00
widgets Rename this.$ to this.$element, and this.$$ to this.$ 2013-11-03 23:03:49 -08:00
ve.ui.MWDialog.js Window refactor 2013-11-08 12:33:25 -08:00