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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ve.ui.AnnotationTool.js 2025-10-02 14:11  9.8K  
      ve.ui.AuthorListPopu..> 2025-10-18 20:52  5.5K  
      ve.ui.ChangeDirectio..> 2025-10-18 20:52  2.0K  
      ve.ui.CheckListTool.js  2025-10-18 20:52  1.8K  
      ve.ui.ClearAnnotatio..> 2025-10-02 14:11  933   
      ve.ui.CommentAnnotat..> 2025-10-02 14:11  1.2K  
      ve.ui.CommentInspect..> 2025-10-18 20:52  1.0K  
      ve.ui.FormatTool.js     2025-10-18 20:52   10K  
      ve.ui.FragmentInspec..> 2025-10-02 14:11  754   
      ve.ui.FragmentWindow..> 2025-10-18 20:52  1.9K  
      ve.ui.HelpCompletion..> 2025-10-02 14:11  1.0K  
      ve.ui.HistoryTool.js    2025-10-02 14:11  2.8K  
      ve.ui.IndentationToo..> 2025-10-02 14:11  2.2K  
      ve.ui.LanguageInspec..> 2025-10-02 14:11  1.0K  
      ve.ui.LinkInspectorT..> 2025-10-18 20:52  1.5K  
      ve.ui.ListTool.js       2025-10-18 20:52  2.6K  
      ve.ui.TableTool.js      2025-10-02 14:11  667   
      ve.ui.ToolbarDialogT..> 2025-10-02 14:11  2.4K  
      ve.ui.WindowTool.js     2025-10-18 20:52  2.3K