Translations:Manual:RefreshFileHeaders.php/1/de