Manudl:populateParentId.php
Cette fonctionnalité a été supprimée entièrement dans la version 1.36. |
Version de MediaWiki : | ≤ 1.35 |
Fichier MediaWiki : populateParentId.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes : | PopulateParentId |
Détails
Le fichier populateParentId.php est un script de maintenance pour effectuer les mises à jour de bases de données nécessaires pour que revision.rev_parent_id servent à quelque chose.
Ce script a été supprimé de MédiaWiki dans les versions 1.36 et plus.
This script runs by default when you run Manuel:Update.php .
Historique
Les premières versions de populateParentId.php triaient la liste liée avec rev_parent_id strictement par revision.rev_id (au moins pour les lignes qui avait un rev_parent_id nul). Il assume que la révision précédente du titre était la révision précédente originale du titre quand la modification a été faite. Ce comportement a été changé par Aaron Schulz car il pouvait causer des répétitions.
La manière dont il fonctionne désormais est que, après que populateParentId.php sélectionne les lignes avec un rev_parent_id nul, quand il est en train de s'occuper d'une révision en particulier, il vérifie d'abord s'il y a des lignes avec le même revision.rev_timestamp que cette révision mais qui ont un rev_id plus petit que cette révision. L'ID le plus grand "gagne". Ceci évite les boucles vu que l'horodatage ne peut que décroître et ne boucle jamais avec les IDs (de parent en parent). Si il n'y a aucune ligne avec le même horodatage, il utilise l'ID le plus haut avec un horodatage plus bas.
Options
Ce script n'a pas d'options.
Utilisation
php maintenance/populateParentId.php
$ php maintenance/populateParentId.php Populating rev_parent_id column ...doing rev_id from 1 to 200 rev_parent_id population complete ... 31 rows [17 changed]