From: Happy-melon <happy-melon@users.mediawiki.org>
Date: Fri, 18 Mar 2011 13:23:05 +0000 (+0000)
Subject: Follow-up r84233: fix documentation format
X-Git-Tag: 1.31.0-rc.0~31354
X-Git-Url: http://git.cyclocoop.org/%7B%7B%20url_for%28%27admin_vote_add%27%29%20%7D%7D?a=commitdiff_plain;h=4d302b466e6bde5120903405a6d50cd022b8a93e;p=lhc%2Fweb%2Fwiklou.git

Follow-up r84233: fix documentation format
---

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()