pub / serci

Search the web with !keywords
git clone https://https://src.jayvii.de/pub/serci.git
Home | Log | Files | Exports | Refs | README | RSS
commit a8553c213a57dd62656f38b9385c14ce318c06ea
parent d9f24ec7620185449446947e4f2f91f02c8270dd
Author: JayVii <jayvii[AT]posteo[DOT]de>
Date:   Fri, 18 Oct 2024 10:18:27 +0200

fix: insert missing space

Diffstat:

Mindex.php | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
@@ -231,7 +231,7 @@
             <?php
                 echo "id=\"" . $searchid . "\"";
                 if ($searchid == $default_search) {
-                    echo "class=\"selected\"";
+                    echo " class=\"selected\"";
                 }
             ?>
         >