wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (f5fca4289)

Browse source 
New changes:
3aaa5e05d build: Updating grunt to 1.2.1
7f21a8356 ve.dm.Model: Fix typo in a comment
9585ffb94 ve.ui.CommandHelpDialog: Make it possible to reuse fancy CSS for shortcuts

Change-Id: Ida448be1658ff9781900ec6f1322b5db0c8499c5
This commit is contained in:
James D. Forrester 2020-07-20 10:18:29 +01:00
parent 5c18288189
commit d9afc7cc3d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 549d3c3a005d9497503a8b2bd4158c5d43a2e1c7
Subproject commit f5fca4289caf2bd6040db1625195cd7a7c8db3da