wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 00:00:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
David Lynch 5dc7179d95 Update VE core submodule to master (8328d7330) 
New changes:
5982328d9 DiffElement: Remove unnecessary duplicate variable
7ab6f7500 Localisation updates from https://translatewiki.net.
8328d7330 Fragment inspector: Don't apply padding to hidden panels

Bug: T348994
Change-Id: I9cfba6c2f28217ddb9191bd7d1eebb71e99ce2d4
2023-10-16 11:15:45 -05:00
..
ve@8328d73307 Update VE core submodule to master (8328d7330) 2023-10-16 11:15:45 -05:00
foreign-resources.yaml Add VisualEditor's libraries to Special:Version 2023-05-10 08:46:51 +01:00