Manual:RefreshFileHeaders.php/de

Details
Die refreshFileHeaders.php-Datei ist ein Wartungskript, der Datei-Header wird anhand der Metadaten aktualisiert.