Handboek:RefreshFileHeaders.php

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:RefreshFileHeaders.php and the translation is 100% complete.

Details

De refreshFileHeaders.php bestand is een onderhoud script file headers vernieuwen van metadata.

Options

refreshFileHeaders.php accepts following seven options.

Option Description Required
--verbose Output information about each file. Optional
--start Name of file to start with Optional
--end Name of file to end with Optional
--media_type Media type to filter for Optional
--major_mime Major mime type to filter for Optional
--minor_mime Minor mime type to filter for Optional
--refreshContentType Set true to refresh file content type from mime data in db Optional

Usage

php maintenance/refreshFileHeaders.php [ --start| --end| --major_mime| --media_type| --minor_mime| --refreshContentType| --verbose ]

Refreshing file metadata

Terminal

Refreshing files' metadata with verbose

Terminal

Refreshing only PNG files' metadata

Terminal


See also