mediawiki-extensions-Visual.../lib
Bartosz Dziewoński 51b1d7eca7 Update VE core submodule to master (ba83e8451)
New changes:
18b02fdc2 Remove deprecated ve-ce-surface-enabled class
669699d6b Rename generated distribution file to desktop-dist-wikimediaui.html

Bug: T340124
Change-Id: I5b173a96817f4217824d8b132c96c8082c568b17
2023-06-29 20:40:08 +02:00
..
ve@ba83e84519 Update VE core submodule to master (ba83e8451) 2023-06-29 20:40:08 +02:00
foreign-resources.yaml Add VisualEditor's libraries to Special:Version 2023-05-10 08:46:51 +01:00