diff --git a/includes/menu.inc b/includes/menu.inc
index 0adb664d72f3..13cad943e2c9 100644
--- a/includes/menu.inc
+++ b/includes/menu.inc
@@ -1,4 +1,5 @@
 <?php
+// $Id$
 
 function menu_add() {
   trigger_error(t("The 'menu_add()' function is deprecated."), E_USER_ERROR);