Index of /mediawiki/extensions/VisualEditor/modules/ve-mw/ui/styles/tools
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
images/ 2023-10-18 14:16 -
![[TXT]](/icons/text.gif)
ve.ui.MWFormatTool-minerva.css 2021-09-30 11:46 402
ve.ui.MWFormatTool-monobook.css 2021-09-30 11:46 665
ve.ui.MWFormatTool-vector.css 2021-09-30 11:46 921
ve.ui.MWLinkInspectorTool.css 2023-09-28 17:30 316
ve.ui.MWPopupTool.css 2021-09-30 11:46 1.3K
![[ ]](/icons/unknown.gif)
ve.ui.MWTargetWidget-vector.less 2023-09-28 17:30 650
Apache/2.4.58 (Ubuntu) Server at web.ma.utexas.edu Port 443