Manual:RunBatchedQuery.php/de

Details
runBatchedQuery.php file is a maintenance script to run a database query in batches and wait for slaves.