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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: petk@php.net
New email:
PHP Version: OS:

 

 [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-2025 The PHP Group
All rights reserved.
Last updated: Mon Jan 06 17:01:28 2025 UTC