mediawiki-extensions-Visual.../modules/ve-mw/ui/widgets
Lucas Werkmeister b6a4e76d42 MWEditSummaryWidget: Don’t query for title
As far as I can tell, the code only uses the comment, nothing else.
Omitting the title probably won’t make the underlying database query any
cheaper, but it should at least save some network traffic.

Change-Id: Ideb66ce3a24fb4f42fe8fc22ba0e93d05724d8b6
2021-03-13 13:48:21 +01: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 eslint: Enable the mediawiki/class-doc rule and make pass 2020-04-17 22:59:11 +01:00
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 Fix: Adding accessibility labels to Visual Editor template elements 2020-07-06 18:46:59 +00:00
ve.ui.MWPreTextInputWidget.js
ve.ui.MWTargetWidget.js
ve.ui.MWTemplateTitleInputWidget.js Reduce deep indention in MWTemplateTitleInputWidget 2021-03-02 14:34:41 +00:00
ve.ui.MWTocWidget.js build: Update eslint-config-wikimedia to 0.17.0 2020-08-18 13:16:49 +01:00