jenkins-bot has submitted this change and it was merged.
Change subject: Remove non-existing param PHPDoc tag from Title
......................................................................
Remove non-existing param PHPDoc tag from Title
Change-Id: Ie05be75b3e1a20e241206fdae8d1496fcbffeaae
---
M includes/Title.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Title.php b/includes/Title.php
index 8a15b54..b347edb 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -1939,7 +1939,6 @@
* - quick : does cheap permission checks from slaves (usable for
GUI creation)
* - full : does cheap and expensive checks possibly from a slave
* - secure : does cheap and expensive checks, using the master as
needed
- * @param bool $short Set this to true to stop after the first
permission error.
* @param array $ignoreErrors Array of Strings Set this to a list of
message keys
* whose corresponding errors may be ignored.
* @return array Array of arguments to wfMessage to explain permissions
problems.
--
To view, visit https://gerrit.wikimedia.org/r/235448
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie05be75b3e1a20e241206fdae8d1496fcbffeaae
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
