#2866 php error with EEST timezone

[Than Kap]

Function getGMTSeconds in dates.php does not handle properly some time zones.
For example I received an email with the following date in the header:
Date: Thu, 31 Aug 2023 11:37:18 EEST

And after that, my inbox throws the error below:
PHP Fatal error: Uncaught TypeError: Unsupported operand types: string * int in functions\date.php:91
Stack trace:

#0 functions\date.php(463): getGMTSeconds()
#1 functions\imap_messages.php(946): getTimeStamp()
#2 functions\mailbox_display.php(628): sqimap_get_small_header_list()
#3 functions\mailbox_display.php(407): fillMessageArray()
#4 functions\mailbox_display.php(518): getSelfSortMessages()
#5 src\right_main.php(238): showMessagesForMailbox()
#6 {main}
  thrown in functions\date.php on line 91

I suggest putting a default switch case, like below:

default://eg 'EEST':
  $tzc = '+0000';
  break;

I am using version 14937 but I see the same problem in latest development version 14986.

Thanks