Simplify documentation headers of includes/widgets/…Widget.php files
authorThiemo Mättig <thiemo.maettig@wikimedia.de>
Thu, 28 Dec 2017 15:17:33 +0000 (16:17 +0100)
committerThiemo Mättig <thiemo.maettig@wikimedia.de>
Wed, 10 Jan 2018 12:44:05 +0000 (13:44 +0100)
commite8b10f68049c19a618800047b42d5e5f1204bae7
treed67a1b9e4170f802a7e20d47f63080dd1083f10d
parent395b9c81ffcc11b6a564a26418dad990e1a708d5
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
includes/widget/ComplexNamespaceInputWidget.php
includes/widget/ComplexTitleInputWidget.php
includes/widget/DateInputWidget.php
includes/widget/DateTimeInputWidget.php
includes/widget/NamespaceInputWidget.php
includes/widget/SearchInputWidget.php
includes/widget/SelectWithInputWidget.php
includes/widget/TitleInputWidget.php
includes/widget/UserInputWidget.php
includes/widget/UsersMultiselectWidget.php