PHP不区分大小写搜索文本文件

Question

I have this .php file that searches for text from a .txt file and compares it to what the user has typed in. I'm not sure how to make it do a case insensitive search of the .txt file.

<?php
  $search = $_POST['search'];
  $text = file_get_contents('name_list.txt');
  $lines = explode("
", $text);
  if(in_array($_POST['search'], $lines)){
      echo stristr($search, " is compatible!");
  } else {
      echo stristr($search, " is not compatible!");
  }
?>

Here is the javascript it is linked to:

$(function() {

        $(".search_button").click(function() {
            var searchString = $("#search_box").val();
            var data = 'search='+ searchString;

            if(searchString) {
                // ajax call
                $.ajax({
                    type: "POST",
                    url: "do_search.php",
                    data: data,
                    beforeSend: function(html) {
                        $("#results").html(''); 
                        $("#searchresults").show();
                        $(".word").html(searchString);
                   },
                   success: function(html){
                        $("#results").show();
                        $("#results").append(html);
                  }
                });    
            }
            return false;
        });
    });

Any help/comments appreciated.

Answer 1

I would compare the uncapitalised version of the search and the text files:

<?php
$search = $_POST['search'];
$search_lower = strtolower($search); // make the search lowercase
$text = file_get_contents('name_list.txt');
$text = strtolower($text); // make the text lowercase
$lines = explode("
", $text);

if(in_array($search_lower, $lines)){
    echo $search . " is compatible!";
} else {
    echo $search . " is not compatible!";
}