From 3a031ebff827368aab702b7ea4a956650dfd4da8 Mon Sep 17 00:00:00 2001
From: Nick Tucker <nkjtkr+mantis@googlemail.com>
Date: Sat, 10 Jan 2009 13:41:42 +0000
Subject: [PATCH] use page name for body id

---
 core/html_api.php |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/core/html_api.php b/core/html_api.php
index 898160d..724ffbd 100644
--- a/core/html_api.php
+++ b/core/html_api.php
@@ -317,7 +317,8 @@ function html_head_end() {
 # --------------------
 # (8) Begin the <body> section
 function html_body_begin() {
-	echo '<body>', "\n";
+	$t_page = basename( $_SERVER['PHP_SELF'], '.php' );
+	echo '<body id="', $t_page, '">', "\n";
 
 	event_signal( 'EVENT_LAYOUT_BODY_BEGIN' );
 }
@@ -1377,7 +1378,7 @@ function html_buttons_view_bug_page( $p_bug_id ) {
 		# DELETE button
 		echo '<td class="center">';
 		html_button_bug_delete( $p_bug_id );
-		echo '</td>';		
+		echo '</td>';
 	}
 
 	helper_call_custom_function( 'print_bug_view_page_custom_buttons', array( $p_bug_id ) );
-- 
1.6.0.4