jenkins-bot has submitted this change and it was merged.
Change subject: phpdoc Title::inNamespaces also allows array
......................................................................
phpdoc Title::inNamespaces also allows array
Change-Id: I201dbaf9c0dee5b47c4edde73ff68b88560e8a0f
---
M includes/Title.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Title.php b/includes/Title.php
index 6d9ddd6..27a334d 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -1079,7 +1079,7 @@
/**
* Returns true if the title is inside one of the specified namespaces.
*
- * @param int $namespaces,... The namespaces to check for
+ * @param int|int[] $namespaces,... The namespaces to check for
* @return bool
* @since 1.19
*/
--
To view, visit https://gerrit.wikimedia.org/r/311688
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I201dbaf9c0dee5b47c4edde73ff68b88560e8a0f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
