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-11-25 23:05:35 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
9f3f95d095
mediawiki-extensions-Visual...
/
modules
/
ve-mw
History
jenkins-bot
9f3f95d095
Merge "ve.init.mw.ViewPageTarget: Hide #contentSub in addition to #toc when muted"
2014-05-02 18:03:37 +00:00
..
ce
Style external links and their suggestions with the right color
2014-04-30 16:49:46 -07:00
dm
Restyle parameter pages
2014-04-30 16:27:19 -07:00
i18n
Switch to use MediaWiki's built-in messages for post-edit notifications
2014-05-01 21:51:32 +01:00
init
Merge "ve.init.mw.ViewPageTarget: Hide #contentSub in addition to #toc when muted"
2014-05-02 18:03:37 +00:00
test
[browser test] use ?veaction=edit to avoid login where feasible
2014-04-28 15:38:18 -04:00
ui
Use new mediawiki.language.names module
2014-05-02 14:04:14 +01:00