make search case-insensitive

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;
       }

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;
       }

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;
 				}