wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-05 03:08:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
20710 commits 14 branches 17 tags 199 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders d42a0772bb Move verbose copyright message to AUTHORS.txt 
Avoids having to update the date in every file every year,
which we stopped doing.

Change-Id: I7bf7aa0937eef911e00772470091753a7b06fd3d
 2023-12-01 16:07:39 +00:00
Ed Sanders 2b4dab6703 build: Update stylelint-config-wikimedia 
Change-Id: I4e56a07c0cd478fb2ea1908c79f584ea3e4d788e
 2023-08-21 16:06:40 +01:00
Ed Sanders 787d16f512 Match WikiEditor switching widget to Apex toolbar theme 
Bug: T223155
Change-Id: I5c14f28ba3c341c74875bac090c6106655c6b4c7
 2020-02-04 17:25:59 -08:00