summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan-Philipp Litza <janphilipp@litza.de>2012-12-27 14:24:05 +0100
committerJan-Philipp Litza <janphilipp@litza.de>2012-12-27 14:24:05 +0100
commit5a7a32d5593413640cf42ebe671d30a08d515882 (patch)
tree9b5aedd9768988396002e141584fc33d5be2d147
parent7fa2353c3803ef231ec789298dbffd0b0b0e7919 (diff)
make search case-insensitive
-rw-r--r--includes/pages/admin_active.php2
-rw-r--r--includes/pages/admin_arrive.php4
-rw-r--r--includes/pages/admin_free.php2
3 files changed, 4 insertions, 4 deletions
diff --git a/includes/pages/admin_active.php b/includes/pages/admin_active.php
index 241d0904..7811d795 100644
--- a/includes/pages/admin_active.php
+++ b/includes/pages/admin_active.php
@@ -92,7 +92,7 @@ function admin_active() {
$match = false;
$index = join("", $usr);
foreach ($tokens as $t)
- if (strstr($index, trim($t))) {
+ if (stristr($index, trim($t))) {
$match = true;
break;
}
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
+?>
diff --git a/includes/pages/admin_free.php b/includes/pages/admin_free.php
index 88a96965..43b2e1a7 100644
--- a/includes/pages/admin_free.php
+++ b/includes/pages/admin_free.php
@@ -33,7 +33,7 @@ function admin_free() {
$match = false;
$index = join("", $usr);
foreach ($tokens as $t)
- if (strstr($index, trim($t))) {
+ if (stristr($index, trim($t))) {
$match = true;
break;
}