Es ist mir aber zu viel Aufwand, das jetzt per Hand zu ändern ...
Wenn mich nicht alles täuscht, gibt es beim Webhosting diff und patch, man könnte also einfach den verlinkten Pull Request anwenden: https://patch-diff.githubuserc…d/server/pull/28263.patch
(Ungetestet! Vorher Backup erstellen!)