wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
8866 commits 162 branches 1 tag 191 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester e722c1726f Update VE core submodule to master (0229301) 
New changes:
5eb7294 Find and replace
123a6ad Find and replace tool
557f70f Go backwards through find and replace results on shift enter
4a4ed81 Allow language widget to filter on available languages

Local changes to adjust.

Change-Id: I15e14d6d3c7ee60e465baf3a4df7572851cbca3e
 2014-12-03 10:36:39 -08:00
Ed Sanders fa34e91da8 Create ve.ui.MWCommandHelpDialog.css for height hack 
Height differs to core due to extra commands.

Change-Id: I8162ff4db86ceeac0ca92d165b185a418f9e4fc7
 2014-11-25 19:19:16 +00:00