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

Update VE core submodule to master (7c9bc68c3)

Browse source 
New changes:
f8858de70 Localisation updates from https://translatewiki.net.
1f6be5ce3 Localisation updates from https://translatewiki.net.
adfd84332 Slightly increase DimensionsWidget input fields width
9d36c897b Add an allowed error offset when merging rectangles
614cd6647 Localisation updates from https://translatewiki.net.
7c9bc68c3 Update OOUI to v0.47.4

Change-Id: I7c8bccebf87cbef0237505745dc00383cb1ac618
This commit is contained in:
Bartosz Dziewoński 2023-07-11 18:53:31 +02:00
parent 7ae61934a3
commit 78cf118735
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 ba83e84519ac150fcdb2d2243ae1a02e00e505b4
Subproject commit 7c9bc68c36f343f5822971124122e65e4ed0e9bf