Manual:PopulateArchiveRevId.php/de-formal

Details
populateArchiveRevId.php is a maintenance script that populates the field in rows where it is missing.

When revisions are deleted, their unique rev_id is stored in the table so it can be retained after undeletion. This is necessary to retain permalinks to given revisions after accidental delete cycles or messy operations like history merges. Old entries from MediaWiki 1.4 will be NULL, and a new rev_id will be created on undeletion for those revisions.

This script runs by default when you run. It processes 100 items in every batch.

Options
This script does not take any options.