Missing cvs id tag

diff --git a/enrol/database/enrol_database_sync.php b/enrol/database/enrol_database_sync.php
index edeb500b48688a4b30fd8ae083511c90e03219a6..39928120bdfb037f61791d9f373f35290aaa09a1 100644 (file)
--- a/enrol/database/enrol_database_sync.php
+++ b/enrol/database/enrol_database_sync.php
@@ -1,4 +1,4 @@
-<?php
+<?php // $Id$
 
     if(!empty($_SERVER['GATEWAY_INTERFACE'])){
         error_log("should not be called from apache!");