Index of /how-to/extensions/VisualEditor/lib/ve/src/themes/mediawiki

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      widgets.css             2018-07-23 16:42  359   
      dialogs.css             2018-07-23 16:42  259