<?php require_once "misc/header.php"; require_once "misc/tools.php"; require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if (!empty($value)) { setcookie($key, $value, [ "expires" => time() + (86400 * 90), // Sets cookie to expire in 90 days "path" => "/", "domain" =>