This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-VisualEditor
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-VisualEditor
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced
2024-12-01 09:26:37 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
16084e4fe8
mediawiki-extensions-Visual...
/
modules
/
ve-mw
History
jenkins-bot
1cb87f73d4
Merge "Button tool to switch to edit source with changes"
2013-10-31 17:49:45 +00:00
..
ce
Allow direct opening of pages in the meta dialog
2013-10-29 05:58:06 +00:00
dm
Get rid of dmRendering hack in ve.ce.MWInternalLinkAnnotation
2013-10-28 15:49:08 +00:00
init
Merge "Button tool to switch to edit source with changes"
2013-10-31 17:49:45 +00:00
test
[browser test] Removed visual_editor from file names
2013-10-31 16:22:08 +00:00
ui
Button tool to switch to edit source with changes
2013-10-31 10:46:51 -07:00