| Index: trunk/phase3/includes/User.php |
| — | — | @@ -1963,7 +1963,7 @@ |
| 1964 | 1964 | * |
| 1965 | 1965 | * @param $oname String The option to check |
| 1966 | 1966 | * @param $defaultOverride String A default value returned if the option does not exist |
| 1967 | | - * @bool $ignoreHidden = whether to ignore the effects of $wgHiddenPrefs |
| | 1967 | + * @param $ignoreHidden Bool = whether to ignore the effects of $wgHiddenPrefs |
| 1968 | 1968 | * @return String User's current value for the option |
| 1969 | 1969 | * @see getBoolOption() |
| 1970 | 1970 | * @see getIntOption() |