Manual:RefreshFileHeaders.php/it

Category:MediaWiki code/it#RefreshFileHeaders.php

Dettagli

Il file refreshFileHeaders.php è uno script di manutenzione per aggiornare le intestazioni dei file di metadati.

Options

Option Description Required
--verboseOutput information about each fileOptional
--startName of file to start withOptional
--endName of file to end withOptional
--media_typeMedia type to filter forOptional
--major_mimeMajor MIME type to filter forOptional
--minor_mimeMinor MIME type to filter forOptional
--refreshContentTypeSet to true to refresh file content type from mime data in databaseOptional

Usage

php maintenance/run.php refreshFileHeaders [ --start| --end| --major_mime| --media_type| --minor_mime| --refreshContentType| --verbose ]
In MediaWiki version 1.39.12 and earlier, you must invoke maintenance scripts using php maintenance/scriptName.php instead of php maintenance/run.php scriptName.

Refreshing file metadata

Terminal

Refreshing files' metadata with verbose

Terminal

Refreshing only PNG files' metadata

Terminal

See also

Category:Maintenance scripts/it Category:File maintenance scripts/it
Category:File maintenance scripts/it Category:Maintenance scripts/it Category:MediaWiki code/it