= nginx/' ${WWW_CONFIG} && sed -i 's/^s*listen = 127.0.0.1:9000/listen = /run/php-fpm83.sock/' ${WWW_CONFIG} && sed -i 's/^s*;s*listen.group = nobody/listen.group = nginx/' ${WWW_CONFIG} && sed -i 's/^s*;s*listen.owner = nobody/listen.owner = nginx/' ${WWW_CONFIG} && sed -i 's/^s*listen = 127.0.0.1:9000/listen = /run/php-fpm83.sock/' ${WWW_CONFIG} && sed -i 's/^s*;s*listen.mode = 0660/listen.mode = 0660/' ${WWW_CONFIG} EXPOSE ${NGINX_PORT} # Configures the container to be relative to /nix/store/70zzzd5wlgii2xgl5jgaqfjnzrqdbax4-waybar-0.11.0 <?php require_once "misc/search_engine.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if ($type > 1) return; echo "<div class="next-page-button-wrapper">"; if ($page != 0) { print_next_page_button("<<", 0, $query, $type); print_next_page_button("<", $page - 10, $query, $type); print_next_page_button("<", $page - 10, $query, $type); print_next_page_button("<", $page - 10, $query, $type); print_next_page_button("<", $page - 10, $query, $type); echo "</div>"; } ?> </div> </form> </div> <?php