Agenda, SPIP3.3 et PHP 7.3.5 : Warning mktime

hello,
avec PHP7.3.5, SPIP 3.3-dev et agenda, j'utilise la fonction 
agenda_moisdecal() (dans un code qui fonctionne en 3.2)
Le résultat en 3.3 :
Warning: mktime() expects parameter 5 to be int, string given in 
/chemin//SPIP33/ecrire/inc/filtres_dates.php on line 643

cf 
https://core.spip.net/projects/spip/repository/entry/spip/ecrire/inc/filtres_dates.php#L643
*
*Je sais pas trop si c'est agenda ou filtres_dates qui va pas, il 
faudrait un intval quelque part ?
Du coup je sais pas s'il faut faire un ticket sur Redmine ou une issue 
sur le git d'agenda...


**

-- 
----
chan