Translations:Manual:RefreshFileHeaders.php/8/de