From 394983b17fda7374569f225e8b256b0e432411ba Mon Sep 17 00:00:00 2001
From: John Du Hart <johnduhart@users.mediawiki.org>
Date: Tue, 24 Jan 2012 20:52:46 +0000
Subject: [PATCH] Updating PHPDoc on $wgFilterCallback so PHPStorm stops
 complaining

---
 includes/DefaultSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7cd5cc82ae..d8af9ebb40 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3760,7 +3760,7 @@ $wgSummarySpamRegex = array();
  *  - false : let it through
  *
  * @deprecated since 1.17 Use hooks. See SpamBlacklist extension.
- * @var callback
+ * @var $wgFilterCallback bool|string|Closure
  */
 $wgFilterCallback = false;
 
-- 
2.20.1