Manual:RefreshFileHeaders.php/fr
| Fichier MediaWiki : refreshFileHeaders.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.43.1 • 1.42.6 • 1.39.12 |
| Classes : | RefreshFileHeaders |
Détails
Le fichier refreshFileHeaders.php est un script de maintenance pour rafraîchir les en-têtes de fichier de métadonnées.
Options
| Option | Description | Obligatoire |
|---|---|---|
| --verbose | Output information about each file | optionnel |
| --start | Name of file to start with | optionnel |
| --end | Name of file to end with | optionnel |
| --media_type | Media type to filter for | optionnel |
| --major_mime | Major MIME type to filter for | optionnel |
| --minor_mime | Minor MIME type to filter for | optionnel |
| --refreshContentType | Set to true to refresh file content type from mime data in database | optionnel |
Utilisation
php maintenance/run.php refreshFileHeaders [ --start| --end| --major_mime| --media_type| --minor_mime| --refreshContentType| --verbose ]
Dans la version MediaWiki 1.39.12 et antérieure, vous devez invoquer des scripts de maintenance à l'aide de
php maintenance/scriptName.php au lieu de php maintenance/run.php scriptName.Refreshing file metadata
Terminal
$ php maintenance/run.php refreshFileHeaders Processing next 12 row(s) starting with 1631330937964.jpeg. Updating headers for 12 file(s). Done. Updated headers for 12 file(s).
Refreshing files' metadata with verbose
Terminal
$ php maintenance/run.php refreshFileHeaders --verbose Processing next 12 row(s) starting with 1631330937964.jpeg. Queued headers update for file '1631330937964.jpeg'. Queued headers update for file 'Logo.jpg'. Queued headers update for file 'r-foundation-logo2.png'. Queued headers update for file 'Screenshot_2021-08-12_at_11.10.17_AM.png'. Queued headers update for file 'Foo.jpeg'. Queued headers update for file 'AkaInfo.png'. Queued headers update for file 'Bar.jpeg'. Queued headers update for file 'Screenshot_2021-08-13_at_11.10.17_AM.png'. Queued headers update for file 'Karma.jpeg'. Queued headers update for file 'Wikilogo.png'. Queued headers update for file 'Wikiversity-logo.jpeg'. Queued headers update for file 'Twink.png'. Updating headers for 12 file(s).'. Done. Updated headers for 12 file(s).
Refreshing only PNG files' metadata
Terminal
$ php maintenance/run.php refreshFileHeaders --minor_mime png Processing next 6 row(s) starting with r-foundation-logo2.png. Queued headers update for file 'r-foundation-logo2.png'. Queued headers update for file 'Screenshot_2021-08-12_at_11.10.17_AM.png'. Queued headers update for file 'AkaInfo.png'. Queued headers update for file 'Screenshot_2021-08-13_at_11.10.17_AM.png'. Queued headers update for file 'Wikilogo.png'. Queued headers update for file 'Twink.png'. Updating headers for 6 file(s).'. Done. Updated headers for 6 file(s).