Translations:Manual:RefreshFileHeaders.php/2/en

refreshFileHeaders.php file is a maintenance script to refresh file headers from metadata.