[Change id search to id plugin, since there was already an id search
Neil Mitchell**20080822135232] {
hunk ./src/Web/Page.hs 23
-    ,"  <span id='search' style='display:none;'><a href='javascript:add_search()'>Search plugin</a> |</span>"
+    ,"  <span id='plugin' style='display:none;'><a href='javascript:add_search()'>Search plugin</a> |</span>"
hunk ./src/res/hoogle.js 10
-        document.getElementById('search').style.display = "";
+        document.getElementById('plugin').style.display = "";
}