On 17.03.2020 at 18:40, Jeffry Killen wrote: > Hello; > > This must be the first time I have encountered this: > > I have an html interface with text input fields for > entering file names. The underlying javascript > sends and async request to verify that the file > exists on the server > > I have used both is_file and file_exists. > > If I use wrong case in the file name but the location/name > is correct both the php functions return true. > > That would indicate that they are not case > sensitive in matching a file name. > > How can I make them case sensitive? > > If I go to open and read or write to the > file and it has wrong case in the file name > I am expecting that the read/write or unlink, > or other file processing function will not work. That depends on the file system (and is not particularly related to PHP). Windows (NTFS) is case insensitive, Linux usually case sensitive, and AFAIK on MacOS this can be somehow configured. -- Christoph M. Becker
