Merge "Add .pipeline/ with dev image variant"

[lhc/web/wiklou.git] / includes / widget / SizeFilterWidget.php

diff --git a/includes/widget/SizeFilterWidget.php b/includes/widget/SizeFilterWidget.php
index c4d1dfc..26935b1 100644 (file)
--- a/includes/widget/SizeFilterWidget.php
+++ b/includes/widget/SizeFilterWidget.php
@@ -10,12 +10,17 @@ use \OOUI\LabelWidget;
  * Select and input widget.
  *
  * @copyright 2011-2018 MediaWiki Widgets Team and others; see AUTHORS.txt
- * @license The MIT License (MIT); see LICENSE.txt
+ * @license MIT
  */
 class SizeFilterWidget extends \OOUI\Widget {
-
-       protected $radioselectinput = null;
-       protected $textinput = null;
+       /** @var array */
+       protected $config;
+       /** @var LabelWidget */
+       protected $label;
+       /** @var RadioSelectInputWidget */
+       protected $radioselectinput;
+       /** @var TextInputWidget */
+       protected $textinput;
 
        /**
         * RadioSelectInputWidget and a TextInputWidget to set minimum or maximum byte size