X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2Fwidget%2FNamespaceInputWidget.php;h=a360fb8e917e0786167f2f424922c86c5eab7a53;hb=1e2cce13eae6d97b312be2e96a70a443a79c4465;hp=7802a2a01757e6af6907b3c59b6f96b2d2edbed0;hpb=f459a71f75941a83335d6d63ee12079a4b586793;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/widget/NamespaceInputWidget.php b/includes/widget/NamespaceInputWidget.php
index 7802a2a017..a360fb8e91 100644
--- a/includes/widget/NamespaceInputWidget.php
+++ b/includes/widget/NamespaceInputWidget.php
@@ -9,8 +9,10 @@ namespace MediaWiki\Widget;
  * @license MIT
  */
 class NamespaceInputWidget extends \OOUI\DropdownInputWidget {
-
-	protected $includeAllValue = null;
+	/** @var string */
+	protected $includeAllValue;
+	/** @var int[] */
+	protected $exclude;
 
 	/**
 	 * @param array $config Configuration options