$wgPushBatchSize