Manual:PopulateRecentChangesSource.php
Appearance
Outdated translations are marked like this.
This feature was removed completely in version 1.43. |
Versões do MediaWiki: | 1.23 – 1.43 |
ficheiro do MediaWiki: populateRecentChangesSource.php | |
---|---|
Localização: | maintenance/ |
Código fonte: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes: | PopulateRecentChangesSource |
Detalhes
O ficheiro populateRecentChangesSource.php é um script de manutenção para preencher o campo rc_source
.
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/Arguments
This script does not take any options or arguments.
Usage
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.