com web/php: We have a usable search now, which isn't actually link to this feature anyway: include/prepend.inc my.php

Commit: d24120761ce74c9ee0a6195e200c220f4a09e40d Author: Hannes Magnusson <bjori@mongodb.com> Wed, 20 Nov 2013 16:49:46 -0800 Parents: 41e1d8353d3e3e013effc7969b9ea92e9605626e Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=d24120761ce74c9ee0a6195e200c220f4a09e40d Log: We have a usable search now, which isn't actually link to this feature anyway Changed paths: M include/prepend.inc M my.php Diff: diff --git a/include/prepend.inc b/include/prepend.inc index 3bbc425..e10f5a5 100644 --- a/include/prepend.inc +++ b/include/prepend.inc @@ -139,22 +139,6 @@ function myphpnet_mirror($murl = FALSE) } else { return "NONE"; } } -// Set suggestion hiding preference -function myphpnet_hidesuggest($hide = FALSE) -{ - global $MYPHPNET; - - // Set hiding preference, or return with value - if (is_numeric($hide)) { - $MYPHPNET[3] = $hide; - } - elseif (isset($MYPHPNET[3])) { - return $MYPHPNET[3]; - } else { - return 0; - } -} - // Save user settings in cookie function myphpnet_save() { diff --git a/my.php b/my.php index 6940e1e..d50db72 100644 --- a/my.php +++ b/my.php @@ -62,11 +62,6 @@ if (isset($_POST['mirror'])) { $mirror_sites = $MIRRORS; $mirror_sites["NONE"] = array(7 => MIRROR_OK); -// Save suggestion hiding settings -if (isset($_POST['hidesuggest'])) { - myphpnet_hidesuggest($_POST['hidesuggest']); -} - myphpnet_save(); site_header("My PHP.net", array("current" => "community")); @@ -199,27 +194,6 @@ if ($type === MYPHPNET_URL_MANUAL) { /> PHP Documentation search </div> -<h2>Search field suggestions</h2> - -<p> - Whenever you start a search on a PHP.net page, a list of suggested function - names starting with the letters you typed in are suggested. If your browser - has problems with this functionality or you are not interested in these - suggestions, you can turn them off here. <strong>Note that this feature is - currently only available on the <a href="/search">search page itself</a>, - not on any of the other pages.</strong> -</p> - -<div class="indent"> - Your setting: <input type="radio" name="hidesuggest" value="0" -<?php -echo (myphpnet_hidesuggest() ? '' : ' checked="checked"'); -echo ' /> Show suggestions <input type="radio" name="hidesuggest" value="1"'; -echo (myphpnet_hidesuggest() ? ' checked="checked"' : ''); -?> - /> Hide suggestions -</div> - <h2>Mirror site redirection</h2> <p>