wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init
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
..
styles Fix appearance and messages on demo page 2013-11-04 15:11:04 +00:00
targets Merge changes If814e178,Id133431e,I38d63e31,I16d575b6 2013-11-26 21:07:46 +00:00
ve.init.mw.js
ve.init.mw.Platform.js mw.Platform: Only add split lang codes with a dash 2013-10-31 01:37:24 +01:00
ve.init.mw.Target.js Share code between conflict resolution and the edit source switch 2013-11-25 17:23:20 +00:00