[Tickets #14586] Function arguments differ between base class and derived class -> Warnings pollute horde log

[noreply at bugs.horde.org]

BITTE NICHT AUF DIESE NACHRICHT ANTWORTEN. NACHRICHTEN AN DIESE  
E-MAIL-ADRESSE WERDEN NICHT GELESEN.

Ticket-URL: https://bugs.horde.org/ticket/14586
------------------------------------------------------------------------------
  Ticket           | 14586
  Erstellt Von     | torben at dannhauer.info
  Zusammenfassung  | Function arguments differ between base class and derived
                   | class -> Warnings pollute horde log
  Warteschlange    | Wicked
  Version          | Git master
  Typ              | Bug
  Status           | Unconfirmed
  Priorität        | 1. Low
  Milestone        |
  Patch            |
  Zuständige       |
------------------------------------------------------------------------------


torben at dannhauer.info (2017-03-01 21:06) hat geschrieben:

Using PHP7, Wicked pollutes the horde log:

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