Manuel:PopulateRecentChangesSource.php
| Cette fonctionnalité a été supprimée entièrement dans la version 1.43. |
| Versions de MediaWiki : | 1.23 – 1.43 |
| Fichier MediaWiki : populateRecentChangesSource.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | PopulateRecentChangesSource |
Détails
Le fichier populateRecentChangesSource.php est un script de maintenance pour remplir le champ rc_source du tableau recentchanges avec les données dans rc_type.
The rc_source allows specifying the type of change and for more flexibly specifying different types of RecentChange entries. For example, 'mw.edit', 'mw.log', 'mw.new' for core RecentChange types and 'wb' and 'flow' provided by extensions.
This script runs by default when you run update.php. It processes 100 items in a batch.
Options et arguments
Ce script n'a pas d'options ni de paramètres.
Utilisation
php maintenance/populateRecentChangesSource.php
Terminal
$ php maintenance/populateRecentChangesSource.php ....... Done.
Whenever the script runs, it makes a note in the database and will not run again. If you want to run the script again, run the command with the --force option.