jenkins-bot has submitted this change and it was merged.
Change subject: Fixed some RequestContext IDEA errors with msg() callers
......................................................................
Fixed some RequestContext IDEA errors with msg() callers
Change-Id: I2a382ee8498eafd9fe045550dd9c1f61a8933926
---
M includes/context/ContextSource.php
M includes/context/IContextSource.php
M includes/context/RequestContext.php
3 files changed, 4 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/context/ContextSource.php
b/includes/context/ContextSource.php
index d526d84..caf5afa 100644
--- a/includes/context/ContextSource.php
+++ b/includes/context/ContextSource.php
@@ -168,6 +168,7 @@
* Parameters are the same as wfMessage()
*
* @since 1.18
+ * @param mixed ...
* @return Message
*/
public function msg( /* $args */ ) {
diff --git a/includes/context/IContextSource.php
b/includes/context/IContextSource.php
index 2ca79cd..58bf5d9 100644
--- a/includes/context/IContextSource.php
+++ b/includes/context/IContextSource.php
@@ -134,6 +134,7 @@
/**
* Get a Message object with context set. See wfMessage for parameters.
*
+ * @param mixed ...
* @return Message
*/
public function msg();
diff --git a/includes/context/RequestContext.php
b/includes/context/RequestContext.php
index 76b5e52..93adde1 100644
--- a/includes/context/RequestContext.php
+++ b/includes/context/RequestContext.php
@@ -62,7 +62,7 @@
private $skin;
/**
- * @var StatsdDataFactory
+ * @var \Liuggio\StatsdClient\Factory\StatsdDataFactory
*/
private $stats;
@@ -427,6 +427,7 @@
* Get a Message object with context set
* Parameters are the same as wfMessage()
*
+ * @param mixed ...
* @return Message
*/
public function msg() {
--
To view, visit https://gerrit.wikimedia.org/r/233666
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2a382ee8498eafd9fe045550dd9c1f61a8933926
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
