Manuel:RefreshFileHeaders.php
| Fichier MediaWiki : refreshFileHeaders.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| 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/refreshFileHeaders.php [ --start| --end| --major_mime| --media_type| --minor_mime| --refreshContentType| --verbose ]
Refreshing file metadata
Terminal
$ php maintenance/refreshFileHeaders.php 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/refreshFileHeaders.php --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/refreshFileHeaders.php --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).