Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Simplify documentation headers of includes/widgets/…Widget.php files

Browse source 
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
This commit is contained in:
Thiemo Mättig 2017-12-28 16:17:33 +01:00
parent 395b9c81ff
commit e8b10f6804
10 changed files with 41 additions and 63 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
includes/widget/ComplexNamespaceInputWidget.php
View file

@ -1,15 +1,13 @@
<?php
/**
* MediaWiki Widgets – ComplexNamespaceInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* Namespace input widget. Displays a dropdown box with the choice of available namespaces, plus two
* checkboxes to include associated namespace or to invert selection.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class ComplexNamespaceInputWidget extends \OOUI\Widget {

10
includes/widget/ComplexTitleInputWidget.php
View file

@ -1,14 +1,12 @@
<?php
/**
* MediaWiki Widgets – ComplexTitleInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* Complex title input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class ComplexTitleInputWidget extends \OOUI\Widget {

8
includes/widget/DateInputWidget.php
View file

@ -1,10 +1,4 @@
<?php
/**
* MediaWiki Widgets – DateInputWidget class.
*
* @copyright 2016 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
@ -14,6 +8,8 @@ use DateTime;
* Date input widget.
*
* @since 1.29
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class DateInputWidget extends \OOUI\TextInputWidget {

10
includes/widget/DateTimeInputWidget.php
View file

@ -1,16 +1,14 @@
<?php
/**
* MediaWiki Widgets – DateTimeInputWidget class.
*
* @copyright 2016 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
use OOUI\Tag;
/**
* Date-time input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class DateTimeInputWidget extends \OOUI\InputWidget {

10
includes/widget/NamespaceInputWidget.php
View file

@ -1,14 +1,12 @@
<?php
/**
* MediaWiki Widgets – NamespaceInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* Namespace input widget. Displays a dropdown box with the choice of available namespaces.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class NamespaceInputWidget extends \OOUI\DropdownInputWidget {

10
includes/widget/SearchInputWidget.php
View file

@ -1,14 +1,12 @@
<?php
/**
* MediaWiki Widgets – SearchInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* Search input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class SearchInputWidget extends TitleInputWidget {

14
includes/widget/SelectWithInputWidget.php
View file

@ -1,17 +1,15 @@
<?php
/**
* MediaWiki Widgets – SelectWithInputWidget class.
*
* @copyright 2011-2017 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
use \OOUI\TextInputWidget;
use \OOUI\DropdownInputWidget;
use OOUI\DropdownInputWidget;
use OOUI\TextInputWidget;
/**
* Select and input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class SelectWithInputWidget extends \OOUI\Widget {

10
includes/widget/TitleInputWidget.php
View file

@ -1,14 +1,12 @@
<?php
/**
* MediaWiki Widgets – TitleInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* Title input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class TitleInputWidget extends \OOUI\TextInputWidget {

10
includes/widget/UserInputWidget.php
View file

@ -1,14 +1,12 @@
<?php
/**
* MediaWiki Widgets – UserInputWidget class.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
/**
* User input widget.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class UserInputWidget extends \OOUI\TextInputWidget {

12
includes/widget/UsersMultiselectWidget.php
View file

@ -1,16 +1,14 @@
<?php
/**
* MediaWiki Widgets – UsersMultiselectWidget class.
*
* @copyright 2017 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
namespace MediaWiki\Widget;
use \OOUI\MultilineTextInputWidget;
use OOUI\MultilineTextInputWidget;
/**
* Widget to select multiple users.
*
* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
* @license MIT
*/
class UsersMultiselectWidget extends \OOUI\Widget {