wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 22:13:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
Ed Sanders 8d1e86a00f Update VE core submodule to master (5b5119dd8) 
New changes:
e717a74b3 Localisation updates from https://translatewiki.net.
5b5119dd8 CompletionWidget: Fix scrollable-gutter in CSS-disabled clippable element

Bug: T351448
Change-Id: If213d44c7604273bcbea44e70c4f6893d8395d3e
2023-11-17 16:00:18 +00:00
..
ve@5b5119dd81 Update VE core submodule to master (5b5119dd8) 2023-11-17 16:00:18 +00:00
foreign-resources.yaml Add VisualEditor's libraries to Special:Version 2023-05-10 08:46:51 +01:00