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
79fd08b1d6
mediawiki-extensions-Visual...
/
modules
/
ve-mw
History
jenkins-bot
79fd08b1d6
Merge "Remove bold from result titles so that query highlighting works"
2015-05-06 13:44:50 +00:00
..
ce
ve.ce.MWEntityNode: Show whitespace characters, like in ve.ce.TextNode
2015-04-21 16:25:08 +02:00
dm
Convert 'external' links to internal pages pasted into the search field
2015-04-29 16:11:32 +01:00
i18n
Localisation updates from
https://translatewiki.net
.
2015-05-05 22:45:56 +02:00
init
Merge "Be more selective in application of 0.8em font size"
2015-05-05 17:50:17 +00:00
tests
Update VE core submodule to master (2714bfc)
2015-04-16 14:02:59 -07:00
ui
Merge "Remove bold from result titles so that query highlighting works"
2015-05-06 13:44:50 +00:00