Manual:RefreshFileHeaders.php/ja

Category:MediaWiki code/ja#RefreshFileHeaders.php

詳細

refreshFileHeaders.phpファイルは、メタデータからファイルのヘッダーを更新する保守スクリプトです。

オプション

オプション 説明 必須かどうか
--verboseOutput information about each file省略可能
--startName of file to start with省略可能
--endName of file to end with省略可能
--media_typeMedia type to filter for省略可能
--major_mimeMajor MIME type to filter for省略可能
--minor_mimeMinor MIME type to filter for省略可能
--refreshContentTypeSet to true to refresh file content type from mime data in database省略可能

使用法

php maintenance/run.php refreshFileHeaders [ --start| --end| --major_mime| --media_type| --minor_mime| --refreshContentType| --verbose ]
MediaWiki バージョン 1.39.13 以前では、メンテナンス スクリプトを php maintenance/run.php スクリプト名 ではなく php maintenance/スクリプト名.php を使用して実行する必要があります。

Refreshing file metadata

Terminal

Refreshing files' metadata with verbose

Terminal

Refreshing only PNG files' metadata

Terminal

関連項目

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