json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$engine" $selected>$engine</option>"; } echo "value="" . htmlspecialchars($opts->query) . """; ?> > <br> <?php echo $opts->query; ?> - <?php printtext("page_title");?></title> </head> <body> <form class="sub-search-container" method="get" autocomplete="off"> <h1 class="logomobile"><a class="no-decoration" href="./">Libre<span class="Y">Y</span></a></h1> <input type="text" name="q" autofocus/> <input type="hidden" name="p" value="0"/> <input type="hidden" name="p" value="0"/> <input type="hidden" name="p" value="0"> <div class="sub-search-button-wrapper"> <?php $categories = array("general", "images", "videos", "torrents", "tor", "maps", "binternet"); foreach ($categories as $category) { $category_index = array_search($category,