/**
* Create a WatchedItem object with the given user and title
- * @param User $user The user to use for (un)watching
- * @param Title $title The title we're going to (un)watch
+ * @param $user User: the user to use for (un)watching
+ * @param $title Title: the title we're going to (un)watch
* @return WatchedItem object
*/
public static function fromUserTitle( $user, $title ) {
/**
* Output a HTTP header, wrapper for PHP's
* header()
- * @param string $string Header to output
- * @param bool $replace Replace current similar header
+ * @param $string String: header to output
+ * @param $replace Bool: replace current similar header
*/
public function header($string, $replace=true) {
header($string,$replace);
}
/** Set the browser cookie
- * @param string $name Name of cookie
- * @param string $value Value to give cookie
- * @param int $expire Number of seconds til cookie expires
+ * @param $name String: name of cookie
+ * @param $value String: value to give cookie
+ * @param $expire Int: number of seconds til cookie expires
*/
public function setcookie( $name, $value, $expire = 0 ) {
global $wgCookiePath, $wgCookiePrefix, $wgCookieDomain;