"<option value="$lang_code" $selected>$name</option>"; } echo $options; ?> </select> </div> <div> <label><?php printtext("settings_special_warning");?></label><br><br> <label><?php printtext("settings_special_disabled");?></label> <input type="checkbox" name="disable_frontends" <?php echo $opts->query; ?> - <?php printtext("settings_title");?></title> </head> <body> <form class="search-container" action="search.php" 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" <?php if (!$opts->disable_bittorrent_search) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; die(); } $results = fetch_search_results($opts, false); if (array_key_exists("error", $results)) { http_response_code(500); } header("Content-Type: application/json"); echo json_encode($results); ?> #!/bin/sh while true; do git stash git pull sleep 60 done <?php return (object) array( // e.g.: fr -> https://google.fr/ "google_domain" => "com",