Manual:RefreshFileHeaders.php/pt

Detalhes
O ficheiro refreshFileHeaders.php é um script de manutenção para atualizar cabeçalhos de ficheiros a partir de metadados.