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

5 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
James D. Forrester 325ca8a40a build: Upgrade stylelint-config-wikimedia from 0.15.0 to 0.16.0 
Change-Id: I993074948832a50997255bd413192c8fdeaf9edb
 2023-07-14 13:02:49 -04:00
Ed Sanders 08b3a21b25 Limit toolbar top border fix to vector-legacy 
Also move code to .init so it can apply as soon as the
editor starts loading.

Bug: T311311
Change-Id: I87b15a0c56261a9f70291749bdbc37a518506d5d
 2022-08-10 20:38:20 +02:00
Ed Sanders 38dfa608f8 Simplify ve-mw/init/styles LESS files 
Change-Id: I49e05c9680e1fe7db8e01df627a6d5fa2836aac8
 2022-03-15 23:10:34 +00:00
Ed Sanders 627bbc4aaf Rename ve-mw/init/styles to LESS 
Change-Id: I50969b8798637368942b2d9315e7290f2c579f77
 2022-03-15 22:16:59 +00:00
Renamed from modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget-vector.css (Browse further)