This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-VisualEditor
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-VisualEditor
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced
2024-11-16 10:59:56 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
13f8d7db67
mediawiki-extensions-Visual...
/
modules
/
ve-mw
/
ui
/
widgets
History
Thiemo Kreuz
6e08a27fc7
Use standard search API when searching for templates
...
Bug: T274903 Change-Id: I7de8f6cc55ab678ed741ae5ebbaad608b9a9b0db
2021-04-30 12:52:45 +00:00
..
ve.ui.MWAceEditorWidget.js
AceEditorWidget: Fix toggleLineNumbers
2021-01-03 00:23:08 +00:00
ve.ui.MWCategoryInputWidget.js
build: Update eslint-config-wikimedia to 0.17.0
2020-08-18 13:16:49 +01:00
ve.ui.MWCategoryItemWidget.js
ve.ui.MWCategoryPopupWidget.js
ve.ui.MWCategoryWidget.js
build: Update eslint-config-wikimedia to 0.17.0
2020-08-18 13:16:49 +01:00
ve.ui.MWEditSummaryWidget.js
MWEditSummaryWidget: Don’t query for title
2021-03-13 13:48:21 +01:00
ve.ui.MWEducationPopupWidget.js
Rewrite EducationPopup so it isn't a mixin
2020-09-24 21:33:50 +01:00
ve.ui.MWExternalLinkAnnotationWidget.js
ve.ui.MWGalleryGroupWidget.js
ve.ui.MWGalleryItemWidget.js
Preserve inline media tag name in galleries across edits
2020-12-16 17:28:51 -05:00
ve.ui.MWInternalLinkAnnotationWidget.js
ve.ui.MWLazyMultilineTextInputWidget.js
ve.ui.MWMediaInfoFieldWidget.js
ve.ui.MWMoreParametersResultWidget.js
ve.ui.MWNoParametersResultWidget.js
ve.ui.MWParameterCheckboxInputWidget.js
ve.ui.MWParameterResultWidget.js
Reduce duplication/clutter in MWParameterResultWidget
2020-08-20 12:32:02 +02:00
ve.ui.MWParameterSearchWidget.js
ve.ui.MWPreTextInputWidget.js
ve.ui.MWTargetWidget.js
ve.ui.MWTemplateTitleInputWidget.js
Use standard search API when searching for templates
2021-04-30 12:52:45 +00:00
ve.ui.MWTocWidget.js
build: Update eslint-config-wikimedia to 0.17.0
2020-08-18 13:16:49 +01:00