Manual:RunBatchedQuery.php

Details
runBatchedQuery.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to run a database query in batches and wait for slaves.