Manual:RefreshFileHeaders.php/it

Dettagli
Il file refreshFileHeaders.php è uno script di manutenzione per aggiornare le intestazioni dei file di metadati.

Options
refreshFileHeaders.php accepts following seven options.