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

 Name                                              Last modified      Size  Description
 Parent Directory                                                       -   
 ve.ui.WindowTool.js                               2023-09-28 17:30  2.4K  
 ve.ui.ToolbarDialogTool.js                        2021-09-30 11:46  2.5K  
 ve.ui.TableTool.js                                2021-09-30 11:46  721   
 ve.ui.ListTool.js                                 2023-09-28 17:30  2.5K  
 ve.ui.LinkInspectorTool.js                        2023-09-28 17:30  1.5K  
 ve.ui.LanguageInspectorTool.js                    2021-09-30 11:46  1.0K  
 ve.ui.IndentationTool.js                          2021-09-30 11:46  2.2K  
 ve.ui.HistoryTool.js                              2021-09-30 11:46  2.8K  
 ve.ui.FragmentWindowTool.js                       2023-09-28 17:30  1.9K  
 ve.ui.FragmentInspectorTool.js                    2021-09-30 11:46  808   
 ve.ui.FormatTool.js                               2023-09-28 17:30  9.9K  
 ve.ui.CommentInspectorTool.js                     2021-09-30 11:46  1.0K  
 ve.ui.CommentAnnotationInspectorTool.js           2021-09-30 11:46  1.3K  
 ve.ui.ClearAnnotationTool.js                      2021-09-30 11:46  1.0K  
 ve.ui.CheckListTool.js                            2023-09-28 17:30  1.8K  
 ve.ui.ChangeDirectionalityTool.js                 2023-09-28 17:30  2.0K  
 ve.ui.AuthorListPopupTool.js                      2023-09-28 17:30  5.3K  
 ve.ui.AnnotationTool.js                           2021-09-30 11:46  9.9K