Handleiding:RefreshFileHeaders.php

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

Details

Het bestand refreshFileHeaders.php is een onderhoudsscript om de metadata van file headers te vernieuwen.

Opties

Optie Beschrijving Verplicht
--verbose Output information about each file Optioneel
--start Name of file to start with Optioneel
--end Name of file to end with Optioneel
--media_type Media type to filter for Optioneel
--major_mime Major MIME type to filter for Optioneel
--minor_mime Minor MIME type to filter for Optioneel
--refreshContentType Set to true to refresh file content type from mime data in database Optioneel

Gebruik

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

Zie ook