X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2Fwidget%2FNamespaceInputWidget.php;h=a360fb8e917e0786167f2f424922c86c5eab7a53;hb=9c7f6734c397a954b8eaa5ec73876f2b4bf92afb;hp=7802a2a01757e6af6907b3c59b6f96b2d2edbed0;hpb=284bc0b5eb1c0e47d7100d5604ab4d5180dcd8d5;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