- Patch #156425 by asimmonds: added missing CVS IDs.

includes/batch.inc

 <?php
+// $Id$
 
 /**
  * @file Batch processing API for processes to run in multiple HTTP requests.

modules/openid/openid.css

+/* $Id$ */
+
 a.openid-link, a.user-link, #edit-openid-url {
   background-image: url("login-bg.png");
   background-position: 0% 50%;

modules/system/system.admin.inc

 <?php
+// $Id$
 
 /**
  * Provide the administration overview page.