php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #77665 Documentation mirror de.php.net serves outdated content
Submitted: 2019-02-25 12:55 UTC Modified: 2019-05-20 11:37 UTC
From: ys at tm-company dot de Assigned: petk (profile)
Status: Closed Package: Systems problem
PHP Version: 7.3.2 OS:
Private report: No CVE-ID: None
 [2019-02-25 12:55 UTC] ys at tm-company dot de
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.


Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2019-02-25 13:10 UTC] cmb@php.net
-Type: Documentation Problem +Type: Bug -Package: Documentation problem +Package: Systems problem
 [2019-05-20 11:37 UTC] petk@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: petk
 [2019-05-20 11:37 UTC] petk@php.net
Hello, thanks for reporting this issue. PHP now moved to a whole new level on the server side and mirrors aren't used there anymore. Closing this as resolved then. If you find anything else, please don't hesitate to report. Thanks.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Fri Dec 13 06:01:28 2024 UTC