keys: speed up javascript search for header title

[sheet.git] / browser.plp

diff --git a/browser.plp b/browser.plp
index b22637c1eefefc4ff724749c30806f36cb26bef8..1c5bb8535cb9dfab8a1d9d95421c0a6a86f08e2e 100644 (file)
--- a/browser.plp
+++ b/browser.plp
@@ -4,7 +4,7 @@ no if $] >= 5.018, warnings => 'experimental::smartmatch';
 
 Html({
        title => 'browser compatibility cheat sheet',
-       version => '1.4',
+       version => '1.5',
        description => [
                "Compatibility table of new web features (HTML5, CSS3, SVG, Javascript)",
                "comparing support and usage share for all popular browser versions.",
@@ -511,5 +511,7 @@ sub showversions {
 </div>
 
 <script type="text/javascript" src="/searchlocal.js"></script>
-<script type="text/javascript"> prependsearch(document.getElementById('intro')) </script>
+<script type="text/javascript"><!--
+       prependsearch(document.getElementById('intro'));
+//--></script>