From 4d302b466e6bde5120903405a6d50cd022b8a93e Mon Sep 17 00:00:00 2001 From: Happy-melon Date: Fri, 18 Mar 2011 13:23:05 +0000 Subject: [PATCH] Follow-up r84233: fix documentation format --- includes/User.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/User.php b/includes/User.php index 8be2b3c42c..9d981ac685 100644 --- a/includes/User.php +++ b/includes/User.php @@ -1963,7 +1963,7 @@ class User { * * @param $oname String The option to check * @param $defaultOverride String A default value returned if the option does not exist - * @bool $ignoreHidden = whether to ignore the effects of $wgHiddenPrefs + * @param $ignoreHidden Bool = whether to ignore the effects of $wgHiddenPrefs * @return String User's current value for the option * @see getBoolOption() * @see getIntOption() -- 2.20.1