marko10_000
/
openclonk
forked from Mirrors/openclonk
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

function search directly redirects to script function if it matches the input

stable-5.2
Tobias Zwick 2010-01-12 17:57:01 +01:00
parent 1eaa0d9b45
commit 77520a4635
1 changed files with 48 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
docs/search.php
View File

@ -1,3 +1,37 @@
<?php
//parameters: $_GET('func')
//search?
if(isset($_GET['func']) && strlen($_GET['func']) > 0)
{
$path = "sdk/script/fn/";
$search = strtolower($_GET['func']);
$funcs = array();
$dir = opendir($path);
//search
while (($item = readdir($dir)) !== FALSE)
{
$name = substr($item,0,strpos($item,'.'));
if ("." != $item && ".." != $item
&& (strpos(strtolower($name), $search) !== FALSE)
&& !is_dir($path.$item))
{
// exact match -> redirect
if ($search == strtolower($name))
{
header("Location: $path$item");
exit;
}
array_push($funcs,$item);
}
}
}
?>
<?php
$lang = basename(dirname(__FILE__));
?>
@ -63,41 +97,24 @@ echo '> ';
echo '<input type="submit" value="' . ($lang == 'de' ? 'Suchen' : 'Search') . '">';
?>
</form>
<?
//parameters: $_GET('func')
//search?
if(isset($_GET['func']) && strlen($_GET['func']) > 0)
{
$path = "sdk/script/fn/";
$search = strtolower($_GET['func']);
$found = false;
echo "<ul>\n";
$dir = opendir($path);
//search
while (($item = readdir($dir)) !== FALSE)
{
$name = substr($item,0,strpos($item,'.'));
if ("." != $item && ".." != $item
&& (strpos(strtolower($name), $search) !== FALSE)
&& !is_dir($path.$item))
{
echo "<li><a href=\"$path$item\">$name</a></li>\n";
$found = true;
}
}
echo "</ul>\n";
<?php
//nothing found
if (!$found)
if (count($funcs) == 0)
{
echo $lang == 'de' ? 'Es wurde keine Funktion gefunden.' : 'No function found.';
}
}
// something found
else
{
echo "<ul>\n";
for($i = 0; $i < count($funcs); ++$i)
{
$item = $funcs[$i];
$name = substr($item,0,strpos($item,'.'));
echo "<li><a href=\"$path$item\">$name</a></li>\n";
}
echo "</ul>\n";
}
?>
</div>