com web/php: No longer used with the new typeahead search: search-index.php

From: Date: Thu, 21 Nov 2013 00:36:39 +0000
Subject: com web/php: No longer used with the new typeahead search: search-index.php
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-17109@lists.php.net to get a copy of this message
Commit: af31fabce4f778c0e7741a08a6cbfe8e40fb558c Author: Hannes Magnusson <bjori@mongodb.com> Wed, 20 Nov 2013 16:36:39 -0800 Parents: 07ac1e14d86061f6c53613f5bfcfb48a7319ddd9 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=af31fabce4f778c0e7741a08a6cbfe8e40fb558c Log: No longer used with the new typeahead search Changed paths: D search-index.php Diff: diff --git a/search-index.php b/search-index.php deleted file mode 100644 index da0cefe..0000000 --- a/search-index.php +++ /dev/null @@ -1,28 +0,0 @@ -<?php -require dirname(__FILE__) . "/include/languages.inc"; - -$langcode = language_convert(isset($_GET["lang"]) ? $_GET["lang"] : "en"); - -if (isset($_GET["description"])) { - $filename = "search-description"; - $varname = "descriptionIndex"; -} -else { - $filename = "search-index"; - $varname = "searchIndex"; -} - -header("Content-Type: application/javascript"); - -// Will send out the proper header, if the browser supports it at all -ob_start("ob_gzhandler"); - -echo "$varname = "; -$file = dirname(__FILE__) . "/manual/$langcode/$filename.json"; -if (is_readable($file)) { - readfile($file); -} else { - echo "[]"; -} - -

« previous php.webmaster (#17109) next »