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

3 commits

Author SHA1 Message Date
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)