Translations:Manual:RefreshFileHeaders.php/2/fr

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