diff options
Diffstat (limited to 'includes/batch.inc')
| -rw-r--r-- | includes/batch.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/batch.inc b/includes/batch.inc index 2fcd232fc..16a5326ca 100644 --- a/includes/batch.inc +++ b/includes/batch.inc @@ -1,4 +1,5 @@ <?php +// $Id$ /** * @file Batch processing API for processes to run in multiple HTTP requests. |