diff options
| author | Dries Buytaert <dries@buytaert.net> | 2007-07-03 19:49:07 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2007-07-03 19:49:07 +0000 |
| commit | 256ef82dc238be3782afd5ce6e1af1525d9388f9 (patch) | |
| tree | 9293f781bd8457aa9ba3a3480dfd0b576e70d5b9 /includes | |
| parent | 3f03b0429106557596a67e2a08c8ce9d79ef2629 (diff) | |
| download | brdo-256ef82dc238be3782afd5ce6e1af1525d9388f9.tar.gz brdo-256ef82dc238be3782afd5ce6e1af1525d9388f9.tar.bz2 | |
- Patch #156425 by asimmonds: added missing CVS IDs.
Diffstat (limited to 'includes')
| -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. |