diff options
| author | Mike Hommey <glandium@debian.org> | 2009-09-10 22:10:39 +0200 |
|---|---|---|
| committer | Mike Hommey <glandium@debian.org> | 2009-09-10 22:10:39 +0200 |
| commit | c3e4f3c26035bc93a69e5aa2ad435809e8be8a4e (patch) | |
| tree | e65557c2e042fe8a77635b0548db10ad97bc1bfe /doc/search.php | |
| parent | e248b20a3b7df364cc9617b8685b4c190338bcd2 (diff) | |
| download | libxml2-c3e4f3c26035bc93a69e5aa2ad435809e8be8a4e.tar.gz | |
Import upstream version 2.7.4upstream/2.7.4.dfsg
Diffstat (limited to 'doc/search.php')
| -rw-r--r-- | doc/search.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/search.php b/doc/search.php index 7d94cb7..ce1a25f 100644 --- a/doc/search.php +++ b/doc/search.php @@ -305,8 +305,8 @@ A:link, A:visited, A:active { text-decoration: underline } $id = mysql_result($result, $i, 2); $module = mysql_result($result, $i, 3); $desc = mysql_result($result, $i, 4); - if (strncmp($module, "libxml-", 7) == 0) { - $url = "html/$module"; + if (strncmp($module, "libxml-", 7) == 0) + $url = "html/$module"; if ($id != "") { $url = $url + "#$id"; } |