Merge "NamespaceInputWidget: Fix type documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 4 Nov 2017 22:55:26 +0000 (22:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 4 Nov 2017 22:55:26 +0000 (22:55 +0000)
includes/widget/NamespaceInputWidget.php

index 3e86738..3e913b0 100644 (file)
@@ -18,7 +18,7 @@ class NamespaceInputWidget extends \OOUI\DropdownInputWidget {
         * @param array $config Configuration options
         * @param string $config['includeAllValue'] If specified, add a "all namespaces" option to the
         *     namespace dropdown, and use this as the input value for it
-        * @param number[] $config['exclude'] List of namespace numbers to exclude from the selector
+        * @param int[] $config['exclude'] List of namespace numbers to exclude from the selector
         */
        public function __construct( array $config = [] ) {
                // Configuration initialization