diff --git a/html/inc/profile.inc b/html/inc/profile.inc
index 04af4ea906..9c9f28c39a 100644
--- a/html/inc/profile.inc
+++ b/html/inc/profile.inc
@@ -1,4 +1,5 @@
 <?php
+echo "<!--\$Id$ -->\n";
 
 require_once("../inc/db.inc");
 require_once("../inc/util.inc");