Manual:RefreshFileHeaders.php/fr

Détails
Le fichier refreshFileHeaders.php est un script de maintenance pour rafraîchir les en-têtes de fichier de métadonnées.

Options
refreshFileHeaders.php accepts following seven options.