Translations:Manual:RefreshFileHeaders.php/2/de

Die refreshFileHeaders.php Datei ist eine Wartungskript, Datei-Header erfrischt von Metadaten.