are php class names case sensitive?
PHP is case insensitive for the class naming. it means you can normally do $file = new file() even if the class is named File and vice-versa. ... It's always a bad idea to rely on case to differentiate two different things and by convention, class names always start with a capital letter.