jenkins-bot has submitted this change and it was merged.

Change subject: Fix PHPDoc comments
......................................................................


Fix PHPDoc comments

Change-Id: I7d6da503d909d06b9a10cb55144852e1c4d07569
---
M AbuseFilter.class.php
1 file changed, 3 insertions(+), 2 deletions(-)

Approvals:
  Alex Monk: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/AbuseFilter.class.php b/AbuseFilter.class.php
index 7f4e7b5..d4a408d 100644
--- a/AbuseFilter.class.php
+++ b/AbuseFilter.class.php
@@ -893,6 +893,7 @@
         * @param $log_template
         * @param $action
         * @param $vars AbuseFilterVariableHolder
+        * @param string $group
         * @return mixed
         */
        public static function addLogEntries( $actions_taken, $log_template, 
$action, $vars, $group = 'default' ) {
@@ -1937,8 +1938,8 @@
        }
 
        /**
-        * @param $title Title
-        * @param $article Page|null
+        * @param Title $title
+        * @param null|Page $page
         * @return AbuseFilterVariableHolder
         */
        public static function getEditVars( $title, Page $page = null ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/56898
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7d6da503d909d06b9a10cb55144852e1c4d07569
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AbuseFilter
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to