Manual:RefreshFileHeaders.php/de

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

Options
refreshFileHeaders.php accepts following seven options.