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
View Add Comment Developer Edit
Anyone can comment on a bug. Have a simpler test case? Does it work for you on a different platform? Let us know!
Just going to say 'Me too!'? Don't clutter the database with that please !
Your email address:
MUST BE VALID
Solve the problem:
38 - 12 = ?
Subscribe to this entry?

 
 [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

Add a Patch

Pull Requests

Add a Pull Request

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: Sun Jun 16 06:01:29 2024 UTC