jenkins-bot has submitted this change and it was merged.
Change subject: Using "Page" for type hinting is really useless
......................................................................
Using "Page" for type hinting is really useless
Change-Id: I60b0787a17bca6d16c499f6e60f2163728a8f30a
---
M includes/Action.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Action.php b/includes/Action.php
index 0bc5ba2..40ce478 100644
--- a/includes/Action.php
+++ b/includes/Action.php
@@ -38,7 +38,7 @@
/**
* Page on which we're performing the action
- * @var Page $page
+ * @var WikiPage|Article|ImagePage|CategoryPage|Page $page
*/
protected $page;
--
To view, visit https://gerrit.wikimedia.org/r/45006
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I60b0787a17bca6d16c499f6e60f2163728a8f30a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Parent5446 <tylerro...@gmail.com>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
