如何在PHP中获取区分大小写的文件名？

Question

I've created a function to call file from folder. But the problem is that it is not matching case. My function is

function CheckFile($var){
    if($var){
        $file = $_SERVER['DOCUMENT_ROOT'].'/include_folder/'.$var.'.php';
        if (file_exists($file)) {
        return true;
        } 
    } 
}

So if file is exists, I include it. Like if $var = profile then it will check in core folder for profile.php and if it exists then it will include it. I am including file when I am calling this function. But the problem is that it is not case sensitive. like if I look for "PrOFile" then it will include profile.php so how to solve this? Please help me if anyone can.

Answer 1

Use realpath() combined with converting the slashes if needed.

Examples:

// Check the filename is the same (don't worry on the path)
if (file_exists($filepath) && basename(realpath($filepath)) === basename($filepath)) {

// Check the full path, converting slashes to be sure
// Assumes final path is Lunix orientated
if (file_exists($filepath) && str_replace('\\', '/', realpath($filepath)) === $filepath) {

// Check the full path, converting slashes to be sure
// Assumes final path may not be Lunix orientated
if (file_exists($filepath) && str_replace('\\', '/', realpath($filepath)) === str_replace('\\', '/', $filepath)) {

Answer 2

On Windows, filenames are case-insensitive. That's just how they work.

So you need to manually code around this:

if( file_exists($file) && glob($file)[0] === $file) // assumes PHP 5.4
             // older versions need a temporary variable for glob