Manual:RefreshFileHeaders.php

Details
refreshFileHeaders.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to refresh file headers from metadata.