wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 01:46:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
8872 commits 13 branches 17 tags 198 MiB
Commit graph

3 commits

Author SHA1 Message Date
Roan Kattouw e68dd9c7c1 Bump command help dialog height again 
Change-Id: I348ce317b46f040bc8a2d70e4392ce0dfe24611c
 2014-12-10 16:24:14 -08:00
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