diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/search.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/search.php b/doc/search.php index b00f12d6..4f4b1566 100644 --- a/doc/search.php +++ b/doc/search.php @@ -257,7 +257,7 @@ A:link, A:visited, A:active { text-decoration: underline } $results[$name] = array(($r + $relevance) * 2, $t,$m,$d,$w,$u); } else { - $id = strtoupper($name); + $id = $name; $m = strtolower($module); $url = "html/libxml-$module.html#$id"; $results[$name] = array($relevance,$type, @@ -282,7 +282,7 @@ A:link, A:visited, A:active { text-decoration: underline } $results[$name] = array(($r + $relevance) * 2, $t,$m,$d,$w,$u); } else { - $id = strtoupper($name); + $id = $name; $m = strtolower($module); $url = "XSLT/html/libxslt-$module.html#$id"; $results[$name] = array($relevance,$type, @@ -349,7 +349,7 @@ A:link, A:visited, A:active { text-decoration: underline } $results[$name] = array(($r + $relevance) * 2, $t,$m,$d,$w,$u); } else { - $id = strtoupper($name); + $id = $name; $m = strtolower($module); $u = str_replace( "http://mail.gnome.org/archives/xml/", "", $url); @@ -375,7 +375,7 @@ A:link, A:visited, A:active { text-decoration: underline } $results[$name] = array(($r + $relevance) * 2, $t,$m,$d,$w,$u); } else { - $id = strtoupper($name); + $id = $name; $m = strtolower($module); $u = str_replace( "http://mail.gnome.org/archives/xslt/", "", $url); |