[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Simplify documentation headers of includes/widgets/…Widget.p...
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/400584 ) Change subject: Simplify documentation headers of includes/widgets/…Widget.php files .. Simplify documentation headers of includes/widgets/…Widget.php files Most notably: The documentation header repeats the file name. This appears to be fully automatically generated, but does not add helpful information. Change-Id: I9edf15dd25ef6cc52fe931fffde69f0bd9042474 --- M includes/widget/ComplexNamespaceInputWidget.php M includes/widget/ComplexTitleInputWidget.php M includes/widget/DateInputWidget.php M includes/widget/DateTimeInputWidget.php M includes/widget/NamespaceInputWidget.php M includes/widget/SearchInputWidget.php M includes/widget/SelectWithInputWidget.php M includes/widget/TitleInputWidget.php M includes/widget/UserInputWidget.php M includes/widget/UsersMultiselectWidget.php 10 files changed, 41 insertions(+), 63 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/widget/ComplexNamespaceInputWidget.php b/includes/widget/ComplexNamespaceInputWidget.php index 69844d9..5f5d1cd 100644 --- a/includes/widget/ComplexNamespaceInputWidget.php +++ b/includes/widget/ComplexNamespaceInputWidget.php @@ -1,15 +1,13 @@ https://gerrit.wikimedia.org/r/400584 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9edf15dd25ef6cc52fe931fffde69f0bd9042474 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Thiemo Kreuz (WMDE) Gerrit-Reviewer: Florianschmidtwelzow Gerrit-Reviewer: Legoktm Gerrit-Reviewer: Thiemo Kreuz (WMDE) Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Simplify documentation headers of includes/widgets/…Widget.p...
Thiemo Kreuz (WMDE) has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/400584 ) Change subject: Simplify documentation headers of includes/widgets/…Widget.php files .. Simplify documentation headers of includes/widgets/…Widget.php files Most notably: The documentation header repeats the file name. This appears to be fully automatically generated, but does not add helpful information. Change-Id: I9edf15dd25ef6cc52fe931fffde69f0bd9042474 --- M includes/widget/ComplexNamespaceInputWidget.php M includes/widget/ComplexTitleInputWidget.php M includes/widget/DateInputWidget.php M includes/widget/DateTimeInputWidget.php M includes/widget/NamespaceInputWidget.php M includes/widget/SearchInputWidget.php M includes/widget/SelectWithInputWidget.php M includes/widget/TitleInputWidget.php M includes/widget/UserInputWidget.php M includes/widget/UsersMultiselectWidget.php 10 files changed, 31 insertions(+), 63 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/84/400584/1 diff --git a/includes/widget/ComplexNamespaceInputWidget.php b/includes/widget/ComplexNamespaceInputWidget.php index d3ada03..e76ecd5 100644 --- a/includes/widget/ComplexNamespaceInputWidget.php +++ b/includes/widget/ComplexNamespaceInputWidget.php @@ -1,15 +1,12 @@ https://gerrit.wikimedia.org/r/400584 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I9edf15dd25ef6cc52fe931fffde69f0bd9042474 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Thiemo Kreuz (WMDE) ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits