dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "Allow users who are partially blocked to delete revisions."
[lhc/web/wiklou.git]
/
includes
/
widget
/
NamespaceInputWidget.php
diff --git
a/includes/widget/NamespaceInputWidget.php
b/includes/widget/NamespaceInputWidget.php
index
7802a2a
..
a360fb8
100644
(file)
--- a/
includes/widget/NamespaceInputWidget.php
+++ b/
includes/widget/NamespaceInputWidget.php
@@
-9,8
+9,10
@@
namespace MediaWiki\Widget;
* @license MIT
*/
class NamespaceInputWidget extends \OOUI\DropdownInputWidget {
* @license MIT
*/
class NamespaceInputWidget extends \OOUI\DropdownInputWidget {
-
- protected $includeAllValue = null;
+ /** @var string */
+ protected $includeAllValue;
+ /** @var int[] */
+ protected $exclude;
/**
* @param array $config Configuration options
/**
* @param array $config Configuration options