Updating PHPDoc on $wgFilterCallback so PHPStorm stops complaining

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7cd5cc8..d8af9eb 100644 (file)
--- 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;