Manual:RefreshFileHeaders.php/de

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