[Tickets #14949] PHP(7.3) Warning: "continue" targeting switch is equivalent to "break"

[email protected] Sun, 01 Sep 2019 18:13:30 +0000
Newsgroups gmane.comp.horde.bugs
Message-ID <[email protected]>
DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: https://bugs.horde.org/ticket/14949
------------------------------------------------------------------------------
  Ticket             | 14949
  Created By         | [email protected]
  Summary            | PHP(7.3) Warning:  "continue" targeting switch is
                     | equivalent to "break"
  Queue              | Ingo
  Version            | 3.2.16
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


[email protected] (2019-09-01 18:13) wrote:

The horde-alarms cron script reports the following errors after  
upgrading to php 7.3

PHP Warning:  "continue" targeting switch is equivalent to "break".  
Did you mean to use "continue 2"? in  
/usr/share/horde/ingo/lib/Script/Imap.php on line 138
PHP Warning:  "continue" targeting switch is equivalent to "break".  
Did you mean to use "continue 2"? in  
/usr/share/horde/ingo/lib/Script/Imap.php on line 156
PHP Warning:  "continue" targeting switch is equivalent to "break".  
Did you mean to use "continue 2"? in  
/usr/share/horde/ingo/lib/Script/Imap.php on line 268
PHP Warning:  "continue" targeting switch is equivalent to "break".  
Did you mean to use "continue 2"? in  
/usr/share/horde/ingo/lib/Script/Imap.php on line 296
PHP Warning:  "continue" targeting switch is equivalent to "break".  
Did you mean to use "continue 2"? in  
/usr/share/horde/ingo/lib/Script/Imap.php on line 324

$ php --version
PHP 7.3.9 (cli) (built: Aug 27 2019 22:52:39) ( NTS )

$ pear list -c pear.horde.org | grep ingo
ingo                         3.2.16  stable





-- 
bugs mailing list
Frequently Asked Questions: http://wiki.horde.org/FAQ
To unsubscribe, mail: [email protected]