wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
jenkins-bot b237df5f39 Merge "Update VE core submodule to master (1a98e553b)"
2023-05-12 10:59:22 +00:00
..
ve@1a98e553b3 Update VE core submodule to master (1a98e553b) 2023-05-12 12:39:20 +02:00
foreign-resources.yaml Add VisualEditor's libraries to Special:Version 2023-05-10 08:46:51 +01:00