wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders cb60db4c7f Use list tool group for editor switching 
Bug: T116417
Change-Id: Iadf5a81e2733ab81fe25c686dcd6dad8eac3885c
2017-02-28 15:06:48 +00:00
..
images Revert "Compress PNGs with zopflipng" 2016-02-28 00:07:50 +00:00
ve.ui.MWEducationPopupTool.css build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWLinkInspectorTool.css build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWPopupTool.css Use list tool group for editor switching 2017-02-28 15:06:48 +00:00