Manuel:updateSpecialPages.php
| Fichier MediaWiki : updateSpecialPages.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | UpdateSpecialPages |
Détails
Le fichier updateSpecialPages.php est un script de maintenance qui met à jour l'information des pages spéciales qui ont leur résultats en cache dans la table querycache. Cette information comprend Special:WantedTemplates, Special:Wantedpages Special:Wantedfiles et beaucoup d'autres. Une liste complète est donnée dans QueryPage.php. Les extensions peuvent enrichir cette liste en utilisant l'accroche wgQueryPages de sorte que les pages spéciales ajoutées par ces extensions soient prises en compte par ce script de maintenance.
Le paramètre de configuration $wgDisableQueryPageUpdate peut être utilisé pour exclure de la mise à jour, certaines pages spéciales.
Utilisation
php updateSpecialPages.php
Options
| Option/Paramètre | Description |
|---|---|
| --list | Ne liste que les noms des pages spéciales sans faire de mise à jour. |
| --only=page | Ne met à jour que la page dont le nom est fourni. La casse des caractères est prise en compte; vérifiez l'orthographe correcte en appelant ce script avec --list. Exemple : --only=BrokenRedirects
|
| --override | Mettez à jour aussi les pages qui ont les mises à jour désactivées par $wgDisableQueryPageUpdate.
|