php locale month

var_dump((function (): string {
setlocale(LC_TIME, ‘de_DE’);
return date(‘F’, mktime(0, 0, 0, (int)date(‘m’)));
})());