Manual:RefreshFileHeaders.php/en

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

Options
refreshFileHeaders.php accepts following seven options.