Manual:refreshFileHeaders.php

DetailsEdit

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