wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
16938 commits 161 branches 1 tag 190 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 6c36e403aa Convert ve.init.mw.DesktopArticleTarget.init-vector.css to LESS 
Change-Id: I5e7c56ebf9e68706e8fc39b1bd4bf81be878ffe4
 2020-10-14 13:11:48 +01:00
Ed Sanders 5461c56380 stylelint: Enforce class name pattern 
Change-Id: Ia41a08424f840d353eb7fc213815f7992da4a2ef
 2019-01-13 15:14:53 +00:00
Umherirrender 9108ac69ee Update VE core submodule to master (6111ca575) 
New changes:
6111ca575 Use json extension for .stylelintrc

Local changes:
Use json extension for .stylelintrc

Bug: T173516
Depends-On: Iba3b6cb37c458e896ade0f3a57a02540b4b4a0a0
Change-Id: I977ac6816e97cfb37bb2e0187e9d148bdb2148af
 2017-08-21 11:28:34 -07:00