wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-28 04:36:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
11575 commits 153 branches 1 tag 185 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders 99d3320573 build: Replace csslint with stylelint 
For now just use the rules file in lib/ve, but eventually
this will be a preset.

Change-Id: I7fd79d3e1dce37aef066d416cd969e5fff1e962f
Depends-On: I17e0d23ddfedf64985495ab35d113ea08c03b1df
 2016-05-16 22:30:49 +01:00
James D. Forrester ada58df361 build: Bump file copyright notices for 2016 
Change-Id: I3c618c196e504a80ca297a4132a17f1977a24fb7
 2016-01-03 14:57:25 -08:00
James D. Forrester 2f8b3e0d96 build: Bump copyright notices to 2015 
Change-Id: Ie92dab7411116d3410195c3fb0a3513c664c0c30
 2015-01-12 20:34:19 -08:00
Roan Kattouw 654d641c5f Update VE core submodule to master (33ca43b) 
Reorganize stylesheets in VE-MW to match JS directory structures,
and update VisualEditor.php for similar reorganization in VE core.

New changes:
c6ed962 Reorganize stylesheets

Change-Id: I4f1070643744fb2ee6726cb03e012e31a9a05c64
 2014-04-18 13:28:31 -07:00
Renamed from modules/ve-mw/ui/styles/ve.ui.MWTocWidget.css (Browse further)