diff options
| author | Jan-Philipp Litza <janphilipp@litza.de> | 2012-12-27 14:24:05 +0100 |
|---|---|---|
| committer | Jan-Philipp Litza <janphilipp@litza.de> | 2012-12-27 14:24:05 +0100 |
| commit | 5a7a32d5593413640cf42ebe671d30a08d515882 (patch) | |
| tree | 9b5aedd9768988396002e141584fc33d5be2d147 /includes/pages/admin_arrive.php | |
| parent | 7fa2353c3803ef231ec789298dbffd0b0b0e7919 (diff) | |
make search case-insensitive
Diffstat (limited to 'includes/pages/admin_arrive.php')
| -rw-r--r-- | includes/pages/admin_arrive.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/pages/admin_arrive.php b/includes/pages/admin_arrive.php index 70a43394..805813cd 100644 --- a/includes/pages/admin_arrive.php +++ b/includes/pages/admin_arrive.php @@ -35,7 +35,7 @@ function admin_arrive() { $match = false; $index = join("", $usr); foreach ($tokens as $t) - if (strstr($index, trim($t))) { + if (stristr($index, trim($t))) { $match = true; break; } @@ -57,4 +57,4 @@ function admin_arrive() { 'link' => page_link_to('admin_arrive') )); } -?>
\ No newline at end of file +?> |