Jump to content

Manual:refreshFileHeaders.php

From mediawiki.org

Details

[edit]

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

Options

[edit]
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 to true to refresh file content type from mime data in database Optional

Usage

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

Refreshing file metadata

[edit]
Terminal

Refreshing files' metadata with verbose

[edit]
Terminal

Refreshing only PNG files' metadata

[edit]
Terminal

See also

[edit]