|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #78041 Upgrade PHP version on
Submitted: 2019-05-20 14:06 UTC Modified: 2019-05-20 15:10 UTC
From: Assigned: rasmus (profile)
Status: Closed Package: Systems problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
 [2019-05-20 14:06 UTC]
Hello, the 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.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2019-05-20 15:10 UTC]
-Status: Open +Status: Closed -Assigned To: +Assigned To: rasmus
 [2019-05-20 15:10 UTC]
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] PHP Notice:  Undefined index: r in /srv/ on line 46
 [2019-05-20 23:36 UTC]
That was really fast. Thank you. The fix.php page has been also patched now.
PHP Copyright © 2001-2023 The PHP Group
All rights reserved.
Last updated: Mon Dec 11 02:01:28 2023 UTC