Index of /resources/src/mediawiki.rcfilters/ui

 NameLast modifiedSizeDescription
 Parent Directory   -  
 CheckboxInputWidget.js 2023-09-27 18:02 1.9K 
 DatePopupWidget.js 2023-09-27 18:02 2.0K 
 FilterItemHighlightB..>2023-09-27 18:02 2.5K 
 FilterMenuSectionOpt..>2023-09-27 18:02 3.8K 
 FilterTagItemWidget.js 2023-09-27 18:02 1.3K 
 FormWrapperWidget.js 2023-09-27 18:02 5.5K 
 HighlightPopupWidget.js2023-09-27 18:02 1.7K 
 MainWrapperWidget.js 2023-09-27 18:02 4.4K 
 RclTargetPageWidget.js 2023-09-27 18:02 2.0K 
 RclToOrFromWidget.js 2023-09-27 18:02 2.1K 
 RclTopSectionWidget.js 2023-09-27 18:02 2.1K 
 SavedLinksListItemWi..>2023-09-27 18:02 7.3K 
 ValuePickerWidget.js 2023-09-27 18:02 2.8K 
 ViewSwitchWidget.js 2023-09-27 18:02 1.9K 
 WatchlistTopSectionW..>2023-09-27 18:02 2.6K 
 ChangesLimitAndDateB..>2023-09-29 03:20 5.7K 
 ChangesLimitPopupWid..>2023-09-29 03:20 2.2K 
 ChangesListWrapperWi..>2023-09-29 04:00 12K 
 FilterWrapperWidget.js 2023-09-29 04:00 4.1K 
 HighlightColorPicker..>2023-09-29 04:00 3.7K 
 LiveUpdateButtonWidg..>2023-09-29 04:00 1.8K 
 MarkSeenButtonWidget.js2023-09-29 04:00 1.4K 
 RcTopSectionWidget.js 2023-09-29 04:00 3.4K 
 SavedLinksListWidget.js2023-09-29 04:00 4.3K 
 FilterMenuHeaderWidg..>2023-09-29 04:01 7.0K 
 FilterMenuOptionWidg..>2023-09-29 04:01 2.5K 
 FilterTagMultiselect..>2023-09-29 04:01 24K 
 ItemMenuOptionWidget.js2023-09-29 04:01 5.3K 
 MenuSelectWidget.js 2023-09-29 04:01 11K 
 SaveFiltersPopupButt..>2023-09-29 04:01 5.1K 
 TagItemWidget.js 2023-09-29 04:01 5.6K