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_free.php | |
| parent | 7fa2353c3803ef231ec789298dbffd0b0b0e7919 (diff) | |
make search case-insensitive
Diffstat (limited to 'includes/pages/admin_free.php')
| -rw-r--r-- | includes/pages/admin_free.php | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |