load(); // Site details (mirror site information) include __DIR__ . '/site.inc'; // Choose language used for translated parts include __DIR__ . '/langchooser.inc'; // Get country of the user and set it in a cookie include __DIR__ . '/ip-to-country.inc'; // Common layout functions include __DIR__ . '/layout.inc'; // This file is generated on rsync.php.net and propagated // from there. It just defines $LAST_UPDATED, which is the // mirror's last updated time. include __DIR__ . '/last_updated.inc'; // ----------------------------------------------------------------------------- // Embed Google Custom Search engine function google_cse(): void { $cse_snippet = << php.net's search functionality requires JavaScript to operate. Please enable JavaScript and reload to continue.

EOF; echo $cse_snippet; }