Summary | Function arguments differ between base class and derived class -> Warnings pollute horde log |
Queue | Wicked |
Queue Version | Git master |
Type | Bug |
State | Resolved |
Priority | 1. Low |
Owners | mrubinsk (at) horde (dot) org |
Requester | torben (at) dannhauer (dot) info |
Created | 03/01/2017 (3025 days ago) |
Due | |
Updated | 10/20/2017 (2792 days ago) |
Assigned | |
Resolved | 03/02/2017 (3024 days ago) |
Github Issue Link | |
Github Pull Request | |
Milestone | |
Patch | No |
commit edae9b4ecfff0fff2c9440c818feab498052f7ef
Author: Michael J Rubinsky <mrubinsk@horde.org>
Date: Wed, 01 Mar 2017 19:10:09 -0500
Bug: 14586Avoid PHP 7 errors.M lib/Page.php
M lib/Page/EditPage.php
https://github.com/horde/wicked/commit/edae9b4ecfff0fff2c9440c818feab498052f7ef
State ⇒ Resolved
commit 767c55db508701bbb6439a9fe0ced144528acd5d
Author: Michael J Rubinsky <mrubinsk@horde.org>
Date: Wed Mar 1 19:10:09 2017 -0500
Bug: 14586Avoid PHP 7 errors.wicked/lib/Page.php | 2 ++
wicked/lib/Page/EditPage.php | 4 +++-
2 files changed, 5 insertions(+), 1 deletion(-)
http://github.com/horde/horde/commit/767c55db508701bbb6439a9fe0ced144528acd5d
commit 841668f4fde480195ebd5ce70c37d0ed5dc45ef6
Author: Michael J Rubinsky <mrubinsk@horde.org>
Date: Wed Mar 1 19:10:09 2017 -0500
Bug: 14586Avoid PHP 7 errors.wicked/lib/Page.php | 2 ++
wicked/lib/Page/EditPage.php | 4 +++-
2 files changed, 5 insertions(+), 1 deletion(-)
http://github.com/horde/horde/commit/841668f4fde480195ebd5ce70c37d0ed5dc45ef6
Priority ⇒ 1. Low
Patch ⇒ No
Milestone ⇒
Queue ⇒ Wicked
Summary ⇒ Function arguments differ between base class and derived class -> Warnings pollute horde log
Type ⇒ Bug
State ⇒ Unconfirmed
2017-03-01T21:54:08+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::getPermissions() should be compatible with
Wicked_Page::getPermissions($pageName = NULL) [pid 15011 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:54:08+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::preDisplay() should be compatible with
Wicked_Page::preDisplay($mode, $params) [pid 15011 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:54:30+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::getPermissions() should be compatible with
Wicked_Page::getPermissions($pageName = NULL) [pid 15011 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:54:30+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::preDisplay() should be compatible with
Wicked_Page::preDisplay($mode, $params) [pid 15011 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:54:45+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::getPermissions() should be compatible with
Wicked_Page::getPermissions($pageName = NULL) [pid 18758 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:54:45+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::preDisplay() should be compatible with
Wicked_Page::preDisplay($mode, $params) [pid 18758 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:55:16+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::getPermissions() should be compatible with
Wicked_Page::getPermissions($pageName = NULL) [pid 18758 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
2017-03-01T21:55:16+01:00 WARN: HORDE [wicked] PHP ERROR: Declaration
of Wicked_Page_EditPage::preDisplay() should be compatible with
Wicked_Page::preDisplay($mode, $params) [pid 18758 on line 0 of
"/<webroot>/horde/wicked/lib/Page/EditPage.php"]
To clean up the horde log and to reveal true errors, this should be
fixed - esp. regarding PHP > 7.0