Description:
------------
The documentation mirror de.php.net does not contain up-to-date information.

http://de.php.net/manual/en/function.setcookie.php lists the setcookie signature as:

bool setcookie ( string $name [, string $value = "" [, int $expire = 0 [, string $path = "" [, string $domain = "" [, bool $secure = false [, bool $httponly = false ]]]]]] )

http://php.net/manual/en/function.setcookie.php lists two signatures:

setcookie ( string $name [, string $value = "" [, int $expires = 0 [, string $path = "" [, string $domain = "" [, bool $secure = FALSE [, bool $httponly = FALSE ]]]]]] ) : bool
setcookie ( string $name [, string $value = "" [, array $options = [] ]] ) : bool

*****

Additional information:

$ host de.php.net
de.php.net has address 82.100.240.32
de.php.net has address 212.124.37.9

In my case, it seems my computer preferred the IP address 212.124.37.9 for de.php.net.

*****

All PHP documentation mirror sites, particularly de.php.net, should either reflect the most up-to-date documentation, or should be shut down.