mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
Ed Sanders cb60db4c7f Use list tool group for editor switching
Bug: T116417
Change-Id: Iadf5a81e2733ab81fe25c686dcd6dad8eac3885c
2017-02-28 15:06:48 +00:00
..
images
ve.ui.MWEducationPopupTool.css
ve.ui.MWLinkInspectorTool.css
ve.ui.MWPopupTool.css Use list tool group for editor switching 2017-02-28 15:06:48 +00:00