php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #78041 Upgrade PHP version on bugs.php.net
Submitted: 2019-05-20 14:06 UTC Modified: 2019-05-20 15:10 UTC
From: petk@php.net Assigned: rasmus (profile)
Status: Closed Package: Systems problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
 [2019-05-20 14:06 UTC] petk@php.net
Description:
------------
Hello, the bugs.php.net site has been already tested and checked on PHP-7.3. I think it is time to migrate it to PHP 7.3 in the back.

Thank you very much.


Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2019-05-20 15:10 UTC] rasmus@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: rasmus
 [2019-05-20 15:10 UTC] rasmus@php.net
It is running 7.3.5 now.
Seems ok. Only thing I see in the error log is:

[Mon May 20 15:05:34.249621 2019] [php7:notice] [pid 1280] [client 207.46.13.27:10271] PHP Notice:  Undefined index: r in /srv/bugs.php.net/www/fix.php on line 46
 [2019-05-20 23:36 UTC] petk@php.net
That was really fast. Thank you. The fix.php page has been also patched now.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Mon Oct 07 14:01:27 2024 UTC