Translations:Manual:RefreshFileHeaders.php/3/de