public static DbUpdateController::batchFinished($success, $results, $operations)
Finishes the update process and stores the results for eventual display.
After the updates run, all caches are flushed. The update results are stored into the session (for example, to be displayed on the update results page in update.php). Additionally, if the site was off-line, now that the update process is completed, the site is set back online.
Parameters
$success: Indicate that the batch API tasks were all co