diff --git a/enrol/database/enrol_database_sync.php b/enrol/database/enrol_database_sync.php
index edeb500b486..39928120bdf 100644
--- 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!");