1--- phpxref.pl.orig	2008-10-03 17:19:27.000000000 +0200
2+++ phpxref.pl	2008-10-03 17:39:07.000000000 +0200
3@@ -1657,7 +1657,7 @@
4         $newheader =~ s/__STYLEFILE__/..\/$config{stylefile}/g if $config{'stylefile'};
5         $newheader =~ s/__PRINTSTYLEFILE__/..\/$config{printstylefile}/g if $config{'printstylefile'};
6         $newheader =~ s/__RELROOT__/..\//g;
7-        $newheader.=javascript_header(1, '_variables', "index.$ext", "logVariable('$varname');");
8+        $newheader.=javascript_header(1, '_variables', $var_ids{$varname}.".$ext", "logVariable('$varname');");
9         print $VARINDEX $newheader;
10         print $VARINDEX &navtoggle_html('../');
11         print $VARINDEX "[<a href=\"../index.$ext\">Top level directory</a>]<br>\n";
12@@ -1782,7 +1782,7 @@
13         $newheader =~ s/__STYLEFILE__/..\/$config{stylefile}/g if $config{'stylefile'};
14         $newheader =~ s/__PRINTSTYLEFILE__/..\/$config{printstylefile}/g if $config{'printstylefile'};
15         $newheader =~ s/__RELROOT__/..\//g;
16-        $newheader.=javascript_header(1, '_functions', "index.$ext", "logFunction('$funcname');");
17+        $newheader.=javascript_header(1, '_functions', $func_ids{$funcname}.".$ext", "logFunction('$funcname');");
18         print $FUNCINDEX $newheader;
19         print $FUNCINDEX &navtoggle_html('../');
20         print $FUNCINDEX "[<a href=\"../index.$ext\">Top level directory</a>]<br>\n";
21@@ -1925,7 +1925,7 @@
22         $newheader =~ s/__STYLEFILE__/..\/$config{stylefile}/g if $config{'stylefile'};
23         $newheader =~ s/__PRINTSTYLEFILE__/..\/$config{printstylefile}/g if $config{'printstylefile'};
24         $newheader =~ s/__RELROOT__/..\//g;
25-        $newheader.=javascript_header(1, '_classes', "index.$ext", "logClass('$classname');");
26+        $newheader.=javascript_header(1, '_classes', $class_ids{$classname}.".$ext", "logClass('$classname');");
27         print $CLASSINDEX $newheader;
28         print $CLASSINDEX &navtoggle_html('../');
29         print $CLASSINDEX "[<a href=\"../index.$ext\">Top level directory</a>]<br>\n";
30@@ -2025,7 +2025,7 @@
31         $newheader =~ s/__STYLEFILE__/..\/$config{stylefile}/g if $config{'stylefile'};
32         $newheader =~ s/__PRINTSTYLEFILE__/..\/$config{printstylefile}/g if $config{'printstylefile'};
33         $newheader =~ s/__RELROOT__/..\//g;
34-        $newheader.=javascript_header(1, '_constants', "index.$ext", "logConstant('$constname');");
35+        $newheader.=javascript_header(1, '_constants', $constname.".$ext", "logConstant('$constname');");
36         print $CONSTINDEX $newheader;
37         print $CONSTINDEX &navtoggle_html('../');
38         print $CONSTINDEX "[<a href=\"../index.$ext\">Top level directory</a>]<br>\n";
39@@ -2123,7 +2123,7 @@
40         $newheader =~ s/__STYLEFILE__/..\/$config{stylefile}/g if $config{'stylefile'};
41         $newheader =~ s/__PRINTSTYLEFILE__/..\/$config{printstylefile}/g if $config{'printstylefile'};
42         $newheader =~ s/__RELROOT__/..\//g;
43-        $newheader.=javascript_header(1, '_tables', "index.$ext");
44+        $newheader.=javascript_header(1, '_tables', "$tablenameid.$ext");
45         print $TABLEINDEX $newheader;
46         print $TABLEINDEX &navtoggle_html('../');
47         print $TABLEINDEX &javascript_search(1);
48