mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 11:32:51 +00:00
b6a4e76d42
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 |
||
---|---|---|
.. | ||
ve.ui.MWAceEditorWidget.js | ||
ve.ui.MWCategoryInputWidget.js | ||
ve.ui.MWCategoryItemWidget.js | ||
ve.ui.MWCategoryPopupWidget.js | ||
ve.ui.MWCategoryWidget.js | ||
ve.ui.MWEditSummaryWidget.js | ||
ve.ui.MWEducationPopupWidget.js | ||
ve.ui.MWExternalLinkAnnotationWidget.js | ||
ve.ui.MWGalleryGroupWidget.js | ||
ve.ui.MWGalleryItemWidget.js | ||
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 | ||
ve.ui.MWParameterSearchWidget.js | ||
ve.ui.MWPreTextInputWidget.js | ||
ve.ui.MWTargetWidget.js | ||
ve.ui.MWTemplateTitleInputWidget.js | ||
ve.ui.MWTocWidget.js |