wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-26 13:02:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
9983 commits 15 branches 17 tags 192 MiB
Commit graph

2 commits

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