Index of /w/extensions/VisualEditor/lib/ve/src/ui/tools

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ve.ui.AnnotationTool.js 2023-09-17 15:54  9.9K  
      ve.ui.AuthorListPopu..> 2023-09-17 15:54  5.3K  
      ve.ui.ChangeDirectio..> 2023-09-17 15:54  2.0K  
      ve.ui.CheckListTool.js  2023-09-17 15:54  1.8K  
      ve.ui.ClearAnnotatio..> 2023-09-17 15:54  1.0K  
      ve.ui.CommentAnnotat..> 2023-09-17 15:54  1.3K  
      ve.ui.CommentInspect..> 2023-09-17 15:54  1.0K  
      ve.ui.FormatTool.js     2023-09-17 15:54  9.9K  
      ve.ui.FragmentInspec..> 2023-09-17 15:54  808   
      ve.ui.FragmentWindow..> 2023-09-17 15:54  1.9K  
      ve.ui.HistoryTool.js    2023-09-17 15:54  2.8K  
      ve.ui.IndentationToo..> 2023-09-17 15:54  2.2K  
      ve.ui.LanguageInspec..> 2023-09-17 15:54  1.0K  
      ve.ui.LinkInspectorT..> 2023-09-17 15:54  1.5K  
      ve.ui.ListTool.js       2023-09-17 15:54  2.5K  
      ve.ui.TableTool.js      2023-09-17 15:54  721   
      ve.ui.ToolbarDialogT..> 2023-09-17 15:54  2.5K  
      ve.ui.WindowTool.js     2023-09-17 15:54  2.4K