C'est étrange j'arrive pas à reproduire le problème j'ai essayer plusieurs fois et j'ai aucune erreur,

On va essayer de faire un test, essaye de mettre une PHP 5 si possible et voir si l'erreur est toujours présente, ça permettra de voir du coup si y'a une incompatibilité avec ta PHP 7.2