mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
b62f99f6de
Co-authored-by: Gina Peter Banyard <girgias@php.net> Co-authored-by: Sergey Panteleev <sergey@php.net>
35 lines
707 B
PHP
35 lines
707 B
PHP
<?php
|
|
/*
|
|
|
|
This page is a fallback search for mobile users without JavaScript.
|
|
|
|
*/
|
|
|
|
// Ensure that our environment is set up
|
|
$_SERVER['BASE_PAGE'] = 'lookup-form.php';
|
|
include_once __DIR__ . '/include/prepend.inc';
|
|
|
|
// Do not index this fallback page
|
|
site_header("PHP.net Manual Lookup", ["noindex"]);
|
|
|
|
?>
|
|
|
|
<h1>PHP.net Manual Lookup</h1>
|
|
|
|
<form class="lookup-form" action="/manual-lookup.php" method="get">
|
|
<input type="hidden" name="show" value="quickref">
|
|
<div class="">
|
|
<input
|
|
type="search"
|
|
name="function"
|
|
value=""
|
|
aria-label="Lookup docs"
|
|
/>
|
|
<button type="submit">Search</button>
|
|
</div>
|
|
</form>
|
|
|
|
<?php
|
|
|
|
site_footer();
|