Manual:RunBatchedQuery.php/de-formal

Details
runBatchedQuery.php file is a maintenance script to run a database query in batches and wait for replica DBs. This is used on large wikis to prevent excessive replication lag when executing large write queries.